Spara
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.
- Undertitel
- Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
- Redaktör
- Georg Gottlob, Alexander Leitsch, Daniele Mundici
- Upplaga
- 1993 ed.
- ISBN
- 9783540571841
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1993-08-13
- Sidor
- 354
