Research Catalog
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Title
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
- Publication
- Berlin ; New York : Springer-Verlag, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 93-1507 | Offsite |
Details
- Additional Authors
- Description
- xi, 348 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 713
- Subject
- Note
- Sponsored by Kurt Gödel Society.
- Call Number
- JSE 93-1507
- ISBN
- 0387571841
- LCCN
- 93005923
- OCLC
- 28587323
- NYPG93-B64788
- Title
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
- Imprint
- Berlin ; New York : Springer-Verlag, 1993.
- Series
- Lecture notes in computer science ; 713
- Added Author
- Gottlob, G. (Georg)Leitsch, Alexander, 1952-Mundici, Daniele, 1946-Kurt Gödel Society.
- Research Call Number
- JSE 93-1507