Spar
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.
- Undertittel
- Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
- Redaktør
- Georg Gottlob, Alexander Leitsch, Daniele Mundici
- Opplag
- 1993 ed.
- ISBN
- 9783540571841
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.8.1993
- Antall sider
- 354
