Computational logic and proof theory | Bookitis

Loading edition detail...

Preparing this view.

Computational logic and proof theory

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Bookitis Pick

Cover for Computational logic and proof theory

CL

Image source: Open Library

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)Published 1993cover on file

"The Third Kurt G

Main catalog entry More like this

Log in to favorite or list

Publisher	Springer-Verlag
Pages	348
Search language	english
ISBN_10	0-387-57184-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

CL
Image source: Open Library
Computational Logic and Proof Theory
Georg Gottlob, Alexander Leitsch | Springer | September 1993