1.
Extensional Gödel functional interpretation. Berlin, Heidelberg, New York: Springer; 1973.
Extensional Gödel functional interpretation. Berlin, Heidelberg, New York : Springer, 15 juin 1973. ISBN 3-540-06119-3
Luckhardt Horst. (1973). Extensional Gödel functional interpretation: A consistency proof of classical analysis. Springer.
Style de citation MLA (8e éd.)Luckhardt Horst. Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis. Springer, 1973.
Attention : ces citations peuvent ne pas être correctes à 100%.