Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé [monographie] |
| Auteur(s): | Cori, René
Lascar, Daniel (1942-....)
Krivine, Jean-Louis (1939-....) (Préface)
|
| Editeur, date d'édition: | Masson, 1993
|
| Ville(s) d'édition: | Paris (FR), Milan (IT), Barcelone (ES)
|
| Classification MSC: | 03-01 (2000)
|
| Notes: | xv + bibliogr. pp. 361-363 + index pp. 365-385 + 24 cm (Deuxième tirage corrigé) ; 385 p.
|
| Thèmes: | algebre boole, theorie modele, logique mathematique, calcul propositionnel, calcul predicat, methode herbrand, theoreme stone, modele henkin, theoreme completude, forme skolem, forme prenexe
|
Exemplaire(s)
| Cote | Retour |
|---|
| 05 COR 93-1 | Disponible |
