Computational Logic and Proof Theory

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

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

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