1974
Ce document est lié à :
0076-1656
J. F. Pabion, « L'axiomatisation de la syntaxe et le second theorem de Gödel », Publications du Département de mathématiques (Lyon), ID : 10670/1.yaiutg