Auteur André Delessert
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
texte imprimé
Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations[...]
