Luckhardt, H. (1973). Extensional Godel functional intepretation: A consistency of proof of classical analysis. Springer-Verlag.
Trích dẫn kiểu ChicagoLuckhardt, Horst. Extensional Godel Functional Intepretation: A Consistency of Proof of Classical Analysis. Berlin: Springer-Verlag, 1973.
Trích dẫn MLALuckhardt, Horst. Extensional Godel Functional Intepretation: A Consistency of Proof of Classical Analysis. Springer-Verlag, 1973.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.