-11% OFFBasic Proof Theory (English, Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg)
by Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg
Publisher: Cambridge University Press
Language: English
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521779111 |
| ISBN-10 | 0521779111 |
| Author | Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg |
Product Description
Here on GlowMirror, you'll find Basic Proof Theory filed under Cambridge University Press -- everything you need to know is covered below.
About the Book
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively s…
ISBN: 9780521779111
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Basic Proof Theory
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Cambridge University Press
Who Should Read This
Beginners and newcomers to the subject, as well as curious general readers.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





