Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC' 93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC' 93, Brno, Czech Republic, August 24-27, 1993. Proceedings


Book Informaton

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC' 93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Author

Georg Gottlob; Alexander Leitsch; Daniele Mundici

Series

Lecture Notes in Computer Science

Volume

713

Year of Publication

1993

Publisher

Springer Berlin Heidelberg

Pages

348

Language

EN

ISBN

9783540571841, 9783540479437

ARI Id

1674219638642


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-13
14-22
23-40
41-42
43-60
61-61
62-62
63-68
69-70
71-82
83-96
97-107
108-119
120-131
132-143
144-151
152-158
159-171
172-183
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries