Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings

by Georg Gottlob , Alexander Leitsch , Daniele Mundici
Save 17% Save 17%
Current price ₹5,730.00
Original price ₹6,876.00
Original price ₹6,876.00
Original price ₹6,876.00
(-17%)
₹5,730.00
Current price ₹5,730.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783540633853
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 355
  • Original Price: USD 54.99
  • Language: English
  • Edition: 1997
  • Item Weight: 508 grams
  • BISAC Subject(s): Logic

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.
The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us