TY  - JOUR
AU  - Pabion, J. F.
TI  - L'axiomatisation de la syntaxe et le second theorem de Gödel
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1974
SP  - 27
EP  - 87
VL  - 11
IS  - 4
PB  - Université Claude Bernard - Lyon 1
UR  - http://www.numdam.org/item/PDML_1974__11_4_27_0/
LA  - fr
ID  - PDML_1974__11_4_27_0
ER  -