Extensional Gödel Functional Interpretation

Author
Horst Luckhardt
Publisher
Springer
Subject
Mathematics
Year
1973
Vol/Edition
306
ISBN
9783540382836