%0 Journal Article
%A Pabion, J. F.
%T L'axiomatisation de la syntaxe et le second theorem de Gödel
%J Publications du Département de mathématiques (Lyon)
%D 1974
%P 27-87
%V 11
%N 4
%I Université Claude Bernard - Lyon 1
%U http://www.numdam.org/item/PDML_1974__11_4_27_0/
%G fr
%F PDML_1974__11_4_27_0