Source: http://archives-bourbaki.ahp-numerique.fr/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29&sort_field=Dublin+Core%2CTitle
Timestamp: 2020-01-23 21:48:34+00:00

Document:
Archives Bourbaki | types (logique) : Contenus
types (logique) : Contenus (4 total)
Sujet est exactement "types (logique)"
Rédaction n°053. Ensembles. Chapitre I, quelques éléments de syntaxe et de logique. Chapitre II, ensembles et fonctions (état 1bis)
053_iecnr_061.pdf
Chapitre I. Quelques éléments de syntaxe et de logique. § 1. Les opérations syntactiques élémentaires. § 2. Prédicats et relations. § 3. La notion de types. Les couples. § 4. L'égalité. § 5. La notion générale de théorie mathématique. Chapitre II.…
Sujets : logique mathématique, prédicats, relations (logique), types (logique), théorie mathématique, théorie des ensembles abstraits, fonctions (théorie des ensembles),
Rédaction n°055. Ensembles. Contre-rédaction des chapitres I et II (état 2 bis)
Fonds Jean Delsarte (Institut Élie Cartan); 101 p.;
Chapitre I. § 1. Comme la rédaction Weil à quelques détails de forme près. § 2. Les objets mathématiques et le calcul des relations. Chapitre II. Ensembles et fonctions. § 1. La relation d'égalité et les relations fonctionnelles. § 2. Type des…
Sujets : logique mathématique, relations (logique), théorie des ensembles abstraits, fonctions (théorie des ensembles), types (logique),

References: § 1
 § 2
 § 3
 § 4
 § 5
 § 1
 § 2
 § 1
 § 2