@article{1182353471,
author = {Krivine, Jean-Louis},
title = {Une Preuve Formelle et Intuitionniste du Th\'eor\`eme de Compl\'etude de la Logique Classique},
journal = {Bull. Symbolic Logic},
volume = {2},
number = {1},
year = {1996},
pages = { 405-421},
language = {en},
url = {http://dml.mathdoc.fr/item/1182353471}
}
Krivine, Jean-Louis. Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique. Bull. Symbolic Logic, Tome 2 (1996) no. 1, pp. 405-421. http://gdmltest.u-ga.fr/item/1182353471/