Extensional Godel functional interpretation
Horst Luckhardt
₹2,820
Extensional Gödel Functional Interpretation
A Consistency Proof of Classical Analysis
Springer · 1973
₹2,516
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 Gödel Functional Interpretation: A Consistency Proof of Classical Analysis by Horst Luckhardt runs to 166 pages.
The book deals with Proof theory, Intuitionistic mathematics, Goedel's theorem and Mathematics.
Book details
- ISBN-13
- 9783540061199
- ISBN-10
- 3540061193
- Author
- Horst Luckhardt
- Publisher
- Springer
- Published
- 1973
- Pages
- 166
- Language
- English
- Condition
- New
More by Horst Luckhardt and related titles
Advances in Natural Computation
Lipo Wang, Ke Chen, Yew Soon Ong
₹4,121
Biochemical and Physiological Aspects of Ethylene Production in Lower and Higher Plants
H. Clijsters M. De Proft
₹15,966
Nanodevices and Nanomaterials for Ecological Security
Arnold E. Kiv
₹7,751
Cryocoolers 12
Ronald G. Ross
₹4,454
The IGM/Galaxy Connection
Jessica L. Rosenberg, Mary E. Putman
₹8,159
Asymptotic Cyclic Cohomology
Michael Puschnigg
₹5,168
Biogeochemical Cycling and Sediment Ecology
J. Gray
₹12,056
R-Matrix Theory of Atomic Collisions
Philip George Burke
₹5,191
DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond
Alexander Schill
₹5,450
Fortleitung Elektrischer Energie Längs Leitungen in Starkstrom- Und Fernmeldetechnik
W. Zur Megede
₹3,508
Studies in Analogy
Ralph M. McInerny
₹4,218