Votre recherche a retourné 2 résultats.

Trier
Ne plus surligner Surligner
Tout sélectionner Tout désélectionner
Documents sélectionnés :
Résultats
1.
Logique mathématique, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,...Daniel Lascar,... ; Préface de Jean-Louis Krivine.Publication : Paris : Dunod, impr. 2007.Description : 1 vol. (XV-385 p.) ; 24 cm.Disponibilité : Exemplaires empruntables: Cote : 05 COR 03-1 (2).

Réserver Ajouter au panier
2.
Logique mathématique, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,... ; préface de Jean-Louis KrivinePublication : Paris : Dunod, impr. 2003Description : 1 vol. (XV-347 p.) ; 24 cmDisponibilité : Exemplaires empruntables: Cote : 05 COR 03-2 (2).

Réserver Ajouter au panier
Pages

Propulsé par Koha