Extensional Gödel Functional Interpretation

New York: Springer Verlag (1973)
Abstract This article has no associated abstract. (fix it)
Keywords Proof theory  Intuitionistic mathematics
Categories (categorize this paper)
Buy the book $20.75 used   $2432.64 new    Amazon page
Call number QA9.L28 no. 306
ISBN(s) 0387061193
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,727
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Delimited Control Operators Prove Double-Negation Shift.Danko Ilik - 2012 - Annals of Pure and Applied Logic 163 (11):1549-1559.
Remarks on Herbrand Normal Forms and Herbrand Realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.

Add more citations

Similar books and articles
Added to PP index

Total downloads

Recent downloads (6 months)

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.
My notes
Sign in to use this feature