Computational Logic and Proof Theory Third Kurt G Odel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings - Lecture Notes in Computer Science
Paperback
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
ISBN: | 9780387571843 |
Publisher: | Springer Verlag |
Imprint: | Springer Verlag |
Language: | English |
Number of pages: | 348 |
Weight: | 970g |
Height: | 178mm |
Width: | 254mm |
Spine width: | 29mm |