Coquand, T. (2026). Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic.
Style de citation Chicago (17e éd.)Coquand, Thierry. Auto Formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic. 2026.
Style de citation MLA (9e éd.)Coquand, Thierry. Auto Formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.