Reset Filters
LC: B - Philosophy, Psychology, Religion

Cover is for reference only

Computational logic and proof theory：5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: Kurt Gödel Colloquium 1997 Vienna, Austria) (Vienna, Austria)); Kurt Gödel Society.
Group Author: (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-; Gottlob G.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1997.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1289
Subjects:
Logic, Symbolic and mathematical > Congresses.
Automatic theorem proving > Congresses.
Carrier Form: viii, 348 p.: ill. ; 24 cm.
ISBN: 3540633855 (pbk. : alk. paper)
Index Number: TP301
CLC: TP301.6-532
TP301-532
Call Number: TP301.6-532/C738/1997/
Contents: "Organized by the Kurt Gödel Society"--Pref.
Includes bibliographical references.

Related Book Recommendations