Extensional Gödel Functional Interpretation
Horst Luckhardt
₹2,516
Extensional Godel functional interpretation
A consistency proof of classical analysis
Springer · 1973
₹2,820
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
Published by Springer in 1973, Extensional Godel functional interpretation: A consistency proof of classical analysis by Horst Luckhardt runs to 161 pages. It belongs to the Lecture notes in mathematics (Springer-Verlag) series.
Its main subjects are Intuitionistic mathematics and Proof theory.
Book details
- ISBN-13
- 9780387061191
- ISBN-10
- 0387061193
- Author
- Horst Luckhardt
- Publisher
- Springer
- Published
- 1973
- Series
- Lecture notes in mathematics (Springer-Verlag)
- Pages
- 161
- Language
- English
- Condition
- New
More by Horst Luckhardt and related titles
Populations in a Seasonal Environment
Stephen D. Fretwell
₹7,038
Advances in Experimental Social Psychology
Mark P. Zanna
₹3,522
X-ray Photon Processing Detectors
Conny Hansson, Krzysztof (Kris) Iniewski
₹6,294
Cardiovascular Considerations in Hematopoietic Stem Cell Transplantation
Azin Alizadehasl, Ardeshir Ghavamzadeh, Amir Hossein Emami, Ghasem Janbabaei, Davood Khoda-Amorzideh
₹9,462
Pharmaceutical Production Facilities 2ed
Graham Cole
₹27,355
Computational Methods for Modeling of Nonlinear Systems
Phil Howlett, Anatoli Torokhti
₹3,894
The Oxford Handbook of Neuronal Protein Synthesis
Wayne S. Sossin
₹22,081
Introduction to Civil Engineering
Sami Maalouf, S. T. Mau
₹5,450
Conceiving Nature after Aristotle, Kant, and Hegel
Richard Dien Winfield
₹9,274
Complex Population Dynamics
Peter Turchin
₹3,351
Advances in Agronomy
Donald L. Sparks
₹3,114