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

Gentzen's Logical Calculi: (The Theory Pamphlet)

by Curtis Franks
Save 35% Save 35%
Current price ₹4,003.00
Original price ₹6,158.00
Original price ₹6,158.00
Original price ₹6,158.00
(-35%)
₹4,003.00
Current price ₹4,003.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783031919985
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 112
  • Original Price: EUR 54.49
  • Language: English
  • Edition: N/A
  • Item Weight: 177 grams
  • BISAC Subject(s): Logic

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.

Curtis Franks is an associate professor of Philosophy at the University of Notre Dame. He has been on the Philosophy faculty at Notre Dame since 2006. He earned B.A. degrees in Mathematics and Philosophy from Rice University in 2000 and a Ph.D. from the University of California in Irvine's Department of Logic and Philosophy of Science in 2006. Since 2019, he has been, with Anand Pillay, co-editor in chief of the Notre Dame Journal of Formal Logic. He is currently the director of Notre Dame's Joint Program in Logic and Foundations of Mathematics.

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