Cover is for reference only

Computational logic and proof theory：Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: Kurt Godel Society.
Group Author: Gottlob G.; (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-
Published: Springer-Verlag,
Publisher Address: Berlin
Publication Dates: 1993.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 713
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Carrier Form: xi, 348 p.: ill. ; 24 cm.
ISBN: 0387571841
Index Number: TP301
CLC: TP301.6-532
Call Number: TP301.6-532/C738/1993/
Contents: Sponsored by Kurt Gödel Society.
Includes bibliographical references.

Related Book Recommendations