Les méthodes formelles en axiomatique : [Actes du colloque tenu à] Paris, [en] Décembre 1950

Les méthodes formelles en axiomatique : [Actes du colloque tenu à] Paris, [en] Décembre 1950

Saved in:
Bibliographic Details
Main Author : Colloques internationaux du Centre national de la recherche scientifique
Corporate Authors : Colloques internationaux du Centre national de la recherche scientifique 36 1950 Paris (Auteur), Centre d'études de logique symbolique Paris (Organisateur de réunion)
Format : Book
Language : français
Title statement : Les méthodes formelles en axiomatique : [Actes du colloque tenu à] Paris, [en] Décembre 1950 / Colloques internationaux du Centre national de la recherche scientifique; [organisé par la Faculté des Sciences de l'Université de Paris, Centre d'Études de Logique Symbolique]
Published : Paris : Centre National de la recherche Scientifique = CNRS , 1953
Physical Description : 1 vol. (X-78 p.)
Series : Colloques internationaux du Centre national de la recherche scientifique ; XXXVI
Titre de l'ensemble : Colloques internationaux du Centre National de la recherche scientifique vol. XXXVI
Subjects :
Logique mathématique
Axiomatique
Actes de congrès
Description
Publication history : Ce colloque a été nommé "Colloque international de logique mathématique"
Bibliography : Bibliogr. ou notes bibliogr. selon les contributions