Author: GOTTLOB, GEORG; LEITSCH, ALEXANDER; MUNDICI, DANIELE (EDS.)
Title: Computational Logic and Proof Theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993: Proceedings
Description: Berlin, Heidelberg, New York, Springer-Verlag. 1993. (ISBN: 9783540571841). Paperback. Used, Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Very Good.

Keywords: 9783540571841


See more books from our catalog: Computers & Technology (Incl. Ai)