English
Introduction à la logique :
théorie de la démonstration#cours et exercices corrigés
Ouvrage
David, René (Principal) ; Nour, Karim (Co-auteur) ; Raffalli, Christophe (Co-auteur)
2001
332 p.
978-2-10-004892-2
00024392
logique # enseignement # théorie de la démonstration # complétude de la logique # logique du premier ordre # logique d'ordre supérieure # logique intuitionniste # modèle de Kripke # calcul des séquents # démonstration automatique # PHOX
Ville d'édition : Paris
Pays d'édition : France
Langue : Français
EAN13 : 9782100048922
ISBN : 2-10-004892-9
Collation : 24 cm#broch. ; Bibliogr. ; Index
Localisation : Enseignement RdC (DAVI)
Type d'ouvrage : Enseignement
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00024392 | [disponible] |
