Les méthodes formelles en axiomatique
By: Paris, décembre 1950
Series: Colloques internationaux du Centre national de la recherche scientifique -- 36; Colloques internationaux du Centre national de la recherche scientifique -- no. 36
Publisher: En] vente au Service des publications du Centre National de la recherche scientifique
Published: 1953
Place of publication: Paris
Language: fre
Number of pages: 78
Subjects: Symbolic and mathematical Logic; Congresses
Notes: Includes bibliographies.