1.
Proof, logic and formalization. London, New York: Routledge; 1992.
Proof, logic and formalization. London, New York : Routledge, 3 mai 1992. ISBN 0415023351
Detlefsen Michael. (1992). Proof, logic and formalization. Routledge.
Style de citation MLA (8e éd.)Detlefsen Michael. Proof, Logic and Formalization. Routledge, 1992.
Attention : ces citations peuvent ne pas être correctes à 100%.