Computational logic and proof theory : Third Kurt Go˜del Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.

"The Third Kurt G

Bibliographic Details

Online Access:	Full Text (via Internet Archive)
Corporate Authors:	Kurt Go˜del Colloquium Brno, Czech Republic, Kurt Go˜del Society
Other Authors:	Gottlob, G. (Georg), Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1993.
Series:	Lecture notes in computer science ; 713.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Conference papers and proceedings.