Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science - Georg Gottlob - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540571841 - August 13, 1993
In case cover and title do not match, the title is correct

Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition

Georg Gottlob

Price
元 397
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 13 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Computational Logic and Proof Theory: Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition

The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.

365 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 13, 1993
ISBN13 9783540571841
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 354
Dimensions 216 × 279 × 19 mm   ·   526 g
Language German  
Editor Gottlob, Georg
Editor Leitsch, Alexander
Editor Mundici, Daniele
Show all

More by Georg Gottlob

See all of Georg Gottlob ( e.g. Paperback Book )