Les méthodes formelles en axiomatique : [Actes du colloque tenu à] Paris, [en] Décembre 1950
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Format : | Livre |
Langue : | français |
Titre complet : | 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] |
Publié : |
Paris :
Centre National de la recherche Scientifique = CNRS
, 1953 |
Description matérielle : | 1 vol. (X-78 p.) |
Collection : | 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 |
Sujets : |
Historique des publications : | Ce colloque a été nommé "Colloque international de logique mathématique" |
---|---|
Bibliographie : | Bibliogr. ou notes bibliogr. selon les contributions |