Luckhardt, H. Extensional Gödel functional interpretation: A consistency proof of classical analysis. Springer.
Style de citation Chicago (17e éd.)Luckhardt, Horst. Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Luckhardt, Horst. Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.