Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science) - Softcover
Synopsis
Computational Logic and Proof Theory The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Full description
"synopsis" may belong to another edition of this title.
Search results for Computational Logic and Proof Theory: Third Kurt Godel...
Stock Image
Computational Logic and Proof Theory : Third Kurt Godel Colloquium, KGC'93, Brno Czech Republic, August 1993, Proceedings
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 2305884-6