Logique Mathématique (notice n° 67908)
[ vue normale ]
| 000 -Label | |
|---|---|
| leader | 00846nam a2200265Ia 4500 |
| 010 ## - ISBN | |
| ISBN | 210005452X |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20140919 frey50 |
| 101 ## - Langue | |
| langue du document | français |
| 200 ## - Titre | |
| titre propre | Logique Mathématique |
| complément du titre | 1. Calcul proportionnel, algèbre de Boole Calcul des prédicats |
| Auteur | René Cori |
| type de document | Livre |
| 200 ## - Titre | |
| type de document | Livre |
| 210 ## - Editeur | |
| nom du fabricant | Daniel Lascar |
| nom de l'éditeur | Dunod |
| lieu de publication | Paris |
| date de publication | 2003 |
| 215 ## - Description | |
| Importance matérielle | 359 p. |
| format | 24 cm. |
| 225 ## - collection | |
| titre de la collection | Sciences SUP |
| 300 ## - Note | |
| note | BibliogrP. 361-363 IndexP. 373-385. |
| 606 ## - sujets | |
| sujet | Boole, Algèbre de Calcul propositionnel |
| 606 ## - sujets | |
| sujet | Calcul des prédicats |
| 606 ## - sujets | |
| sujet | Logique symbolique et mathématique--cours |
| 606 ## - sujets | |
| sujet | Logique symbolique et mathématique--Problèmes et exercices |
| 700 ## - Auteur | |
| auteur | Cori, René |
| 702 ## - Nom de personne - mention de responsabilité secondaire | |
| nom | Krivine, Jean-Louis |
| 702 ## - Nom de personne - mention de responsabilité secondaire | |
| nom | Lascar, Daniel |
| 720 ## - nom générique de famille - mention de responsabilité principale | |
| code de fonction | Auteur |
| 721 ## - nom générique de famille - coauteur | |
| code de fonction | Auteur |
| 722 ## - nom générique de famille - mention de responsabilité secondaire | |
| code de fonction | Auteur |
| Propriétaire | dépositaire permanent | niveau de localisation | Code barre | cote | Statut |
|---|---|---|---|---|---|
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 1er etage | 3212 | 511.3 COR | Empruntable |
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 1er etage | 13841 | 511.3 COR | Empruntable |
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | Magasin3 | 16812 | 511.3 COR | Empruntable |
| Bibliothèque de la Faculté des Sciences Aïn Chock | Bibliothèque de la Faculté des Sciences Aïn Chock | Salle de lecture | 17160 | 511.3 COR | Empruntable |
| Bibliothèque de la Faculté des Sciences Aïn Chock | Bibliothèque de la Faculté des Sciences Aïn Chock | Salle de lecture | 25240 | 511.3 COR | Empruntable |