{"product_id":"9783540571841","title":"Lecture Notes in Computer Science: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eGottlob, Georg; Leitsch, Alexander; Mundici, Daniele\u003c\/h2\u003e \u003cp\u003eThe Third Kurt G|del Symposium, KGC'93, held in Brno, Czech\nRepublic, August1993, is the third in a series of biennial\nsymposia on logic, theoretical   computer science, and\nphilosophy of mathematics. The aim of this meeting wasto\nbring together researchers working in the fields of\ncomputational    logic and proof theory. While proof theory\ntraditionally is a discipline of mathematical logic, the\ncentral activity in computational logic can be foundin\ncomputer science. In both disciplines methods were invented\nwhich arecrucial to one another. This volume contains the\nproceedings of the         symposium. It contains contributions by\n36 authors from 10 different        countries. In addition to 10\ninvited papers there are 26 contributed papers selected from\nover 50 submissions.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-08-13\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540571841\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0022546\u003c\/p\u003e \u003cp\u003eDimensions: 279cm x216cm\u003c\/p\u003e \u003cp\u003ePages: 354\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370080297100,"sku":"9783540571841","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540571841.jpg?v=1773970099","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540571841","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}