✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
✓ Genuine Books — Sourced from Publishers & Authorised Distributors🚚 Free Delivery Across India💳 Cash on Delivery Available↩️ 15-Day Easy Returns🔒 Secure Razorpay Payments📚 5,000+ Titles in Stock⚡ Dispatch in 1–2 Business Days🏅 Customer Support: Mon–Sat, 10am–7pm
Basic Proof Theory (English, Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg) - Image 1 - GlowMirror

Basic Proof Theory (English, Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg)

by Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg

Delivery options

₹5,341-11%
MRP:₹6,033Save ₹692
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days

Available Offers

Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.

15-Day Easy Returns — hassle-free return & full refund.

Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.

11% Off — you save ₹692 on this product!

Total: ₹5,341

Book Details

Publisher
Cambridge University Press
Language
English
ISBN-13
9780521779111
ISBN-10
0521779111
Author
Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg

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

ISBN-13: 9780521779111
ISBN-10: 0521779111

Frequently Asked Questions

What is the price of Basic Proof Theory?
Basic Proof Theory starts from ₹5498 at GlowMirror. Available in Paperback.
Who is the author of Basic Proof Theory?
Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg is the author of Basic Proof Theory. Browse more books by Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg on GlowMirror.
Is Basic Proof Theory available in Paperback and Hardcover?
Yes, Basic Proof Theory is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Basic Proof Theory?
Yes, GlowMirror offers free delivery for Basic Proof Theory across India. No minimum order value required.
Is Cash on Delivery available for Basic Proof Theory?
Yes, Cash on Delivery (COD) is available for Basic Proof Theory on GlowMirror. You can pay when your order is delivered.
ISBN-10: 0521779111. ISBN-13: 9780521779111. Basic Proof Theory (English, Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg) by Anne S. Troelstra | A. S. Troelstra | H. Schwichtenberg. Available on GlowMirror.
Product ID: isbn-9780521779111