Luckhardt, H. (1973). Extensional Gödel functional interpretation: A consistency proof of classical analysis. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Luckhardt, Horst. Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis. Berlin ; New York: Springer-Verlag, 1973.
Παραπομπή σε μορφή MLA (8th εκδ.)Luckhardt, Horst. Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis. Springer-Verlag, 1973.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.