Provability, Computability and Reflection
Lev D. Beklemishev
₹3,017
Provability, Computability and Reflection
Elsevier Science Ltd · 2000
₹3,361
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
Provability, Computability and Reflection by Lev D. Beklemishev is a 360-page book published by Elsevier Science Ltd in 2000. It belongs to the Studies in logic and the foundations of mathematics series.
Topics covered include Logique symbolique et mathématique, Symbolic and mathematical Logic, Semantics (Philosophy) and Logique algébrique.
Book details
- ISBN-13
- 9780444533951
- ISBN-10
- 0444533958
- Author
- Lev D. Beklemishev
- Publisher
- Elsevier Science Ltd
- Published
- 2000
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 360
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Lev D. Beklemishev and related titles
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,676
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,818
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,786
Fields of Logic and Computation II
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
₹4,272
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,886
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,623
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,953
Contributions to Non-Standard Analysis
Lev D. Beklemishev
₹2,690
Computer Programming and Formal Systems
Lev D. Beklemishev
₹2,704
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,382
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,871