Extensional Gdel functional interpretation. A consistency proof of classical analysis (1973)

by H Luckhardt
Venue:Lecture Notes in Mathematics 306