Enlarge

Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Publication Data

Title Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Contributors G. Gottlob, Alexander Leitsch, Daniele Mundici
Publisher Springer
Publication date 1997
Publication location Berlin
Language English

Topics

Automatic theorem proving :: Congresses
Logic, Symbolic and mathematical :: Congresses

Catalogue Data

OBNB ID GB9759380
ISBN 10 3540633855
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 viii,348p.
P1042 Includes bibliographies.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings. ISBN 3540633855. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.