Portail Documentaire
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Titre : | Logique mathématique T.1 : calcul propositionnel, algèbre de Boole, calcul des prédicats (cours et exercices) |
Auteurs : | ... René Cori ; ... Daniel Lascar ; J.L. Krivine, Préfacier, etc. |
Type de document : | texte imprimé |
Editeur : | Paris : Masson, 1994 |
Collection : | Axiomes, ISSN 1243-4264 |
ISBN/ISSN/EAN : | 978-2-225-84079-1 |
Format : | XV-385 p. / couv. ill. en noir et blanc / 24 cm |
Note générale : | Bibliogr. p. 361-363. - index p. 373-385. |
Mots-clés: | Mathématique ; logique mathématique ; calcul propositionnel ; algèbre de Boole ; calcul des prédicats ; théorème de complétude |
Exemplaires
Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|
226306 | Livre | Nkolbisson | Bibliothèque Centrale | Disponible |