Logique

Titre ou nature	Auteur(s)	Format(s)	catégorie
Les fondements des mathématiques	Jean-Yves Girard		EXP
Du pourquoi au comment: la théorie de la demonstration de 1950 à nos jours	Jean-Yves Girard		EXP
Le théorème de Gödel et ses non-interprétations	Yann Ollivier	HTML	EXP
Prolégomènes	David Madore		EXP
Sur l'axiome de régularité	David Madore	HTML	EXP
Quelques variantes de l'axiome du choix	David Madore	HTML	EXP
Grands cardinaux	Benoît Collins		EXP
Introduction à la logique catégorique	David Madore		EXP
Une introduction aux nombres ordinaux	David Madore	HTML	EXP
Induction transfinie	Benoit Sanchez		EXP
Indépendance de l'axiome du choix	Benoit Sanchez & Itaï Ben-Yaacov		EXP
Ensembles constructibles	Benoit Sanchez		EXP
Théorèmes de Gödel. Un exemple d'incomplétude en arithmétique : le théorème de Paris-Harrington	Frédéric Déglise & Marc Boutin		EXP
Cohérence d'une théorie imprédicative	Vincent Nesme & Yann Villessuzanne		EXP
L'axiome du choix	Raphaël Bomboy		EXP
Lambda calcul	Alexandre Boisseau		EXP
Logique floue	Frédéric Sur		EXP