Extensionnalité, syntaxe et prédicats de vérité
FR |
EN
Auteur / Autrice : | Samuel Lacas |
Direction : | Jean-Louis Krivine |
Type : | Thèse de doctorat |
Discipline(s) : | Logique et fondements de l'informatique |
Date : | Soutenance en 2001 |
Etablissement(s) : | Paris 7 |