Horst Luckhardt

Extensional Gödel Functional Interpretation - 1973 - Heidelberg Springer Berlin 1973 - Monograph - Lecture Notes in Mathematics v.306 .

9783540382836


Mathematics and Statistics