J. Michael Dunn on Information Based Logics
Katalin Bimbo
₹4,159
Proof Theory
Sequent Calculi and Related Formalisms
Chapman and Hall/CRC · 2014
₹4,643
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Proof Theory: Sequent Calculi and Related Formalisms is written by Katalin Bimbo. This edition from Chapman and Hall/CRC (2014) has 386 pages. It belongs to the Discrete mathematics and its applications series.
Its main subjects are Proof theory, Théorie de la preuve, Arithmetic and Set Theory.
About the author: Katalin Bimbo (born 1963).
Book details
- ISBN-13
- 9781466564664
- ISBN-10
- 1466564660
- Author
- Katalin Bimbo
- Publisher
- Chapman and Hall/CRC
- Author dates
- Katalin Bimbo (born 1963)
- Published
- 2014
- Series
- Discrete mathematics and its applications
- Edition
- 1
- Pages
- 386
- Language
- English
- Condition
- New
- Subject
- Set theory
More by Katalin Bimbo and related titles
Lectures in Set Theory
Thomas J. Jech
₹2,679
Selecta
Heinz Bauer
₹4,094
An Introduction to Random Sets
Hung T. Nguyen
₹4,027
Invariant Descriptive Set Theory
Su Gao
₹4,787
Nonstandard Models of Arithmetic and Set Theory
AMS Special Session Nonstandard Models of Arithmetic and Set Theory (2003 Baltimore, Md.)
₹2,872
Canonical Ramsey Theory on Polish Spaces
Vladimir Kanovei, Jindřich Zapletal, Marcin Sabok
₹6,861
Convexity and Optimization in Rn
Leonard D. Berkovitz
₹3,578
Cabal Seminar 79-81
Cabal Seminar (1979-1981 California Institute of Technology, and University of California, Los Angeles)
₹3,742
Set Theory and Its Applications
A. E. Caicedo
₹9,102
Norms on Possibilities I
Saharon Shelah, Andrzej Rosanowski
₹4,031
N-Gons
Friedrich Bachmann, Eckart Schmidt, Cyril Garner
₹2,833