R139_nbr042 : Contenus (1 total)

Fonds de l'Association des Collaborateurs de Nicolas Bourbaki (Archives de l'Académie des sciences); Chevalley, Claude; 60 p.;
Le présent document débute par cinq pages de commentaires, motivant les choix faits par l'auteur. Vient ensuite la rédaction proprement dite. I. Règles formatives. II. Règles d'inférence. Théories. III. Premiers schémas d'axiomes. Le théorème de la…
Livre: Théorie des ensembles
Sujets : logique mathématique, relations (logique), théorie mathématique, types (logique),
Formats de sortie

atom, dcmes-xml, json, omeka-xml, rss2