Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats: Calcul propositionnel, algèbre de Boole, calcul des prédicats

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Garam – Jeux de logique mathématique

Logique Et Raisonnements Mathématiques: 185

Topos: Logique de l'onto-logique, suivi de « Être-là Mathématique du transcendental »