Recherche avancée

Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats [monographie]

Auteur(s):

Cori, René Krivine, Jean-Louis (1939-....) (Préface) Lascar, Daniel (1942-....)

Langue:

français

Collection:

Sciences Sup

Editeur, date d'édition:

Dunod, 2003

Ville(s) d'édition:

Paris (FR)

ISBN:

2-10-005452-X

ISSN:

1636-2217

Notes:

xv ; bibliogr. pp. 361-363 ; index pp. 373-385 ; 24 cm (Autres tirages : 2007, 2010, 2011. - La couverture porte en plus : Licence, master) ; 385 p.

Thèmes:

logique mathematique, calcul propositionnel, algebre de boole, calcul des predicats, theoreme de stone, calcul des propositions

Localisation:

Ouvrage localisé fonds enseignement - 1ère salle

---

     Exemplaire(s)

---

Cote	Retour
05 COR 03-1	Disponible