Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science) - Softcover

Gottlob, Georg ; Leitsch, Alexander

9780387571843: Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science)

Softcover

ISBN 10: 0387571841 ISBN 13: 9780387571843

Verlag: Springer Verlag, 1993

Zu dieser ISBN ist aktuell kein Angebot verf�gbar.

Details zur Ausgabe

Verlag: Springer Verlag
Erscheinungsdatum: 1993
Sprache: Englisch
ISBN 10: 0387571841
ISBN 13: 9780387571843
Einband: Tapa blanda
Herausgeber: Mundici Daniele
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar