Tallenna
Computational Logic and Proof Theory
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.
- Alaotsikko
- Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
- Toimittaja
- Georg Gottlob, Alexander Leitsch, Daniele Mundici
- Painos
- 1993 ed.
- ISBN
- 9783540571841
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.8.1993
- Sivumäärä
- 354
