Extensional Gödel Functional Interpretation (1973)

by H Luckhardt
Venue:Lecture Notes in Mathematics 306