Three Views of Logic : Mathematics, Philosophy, and Computer Science
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Princeton :
Princeton University Press
2014.
|
| Θέματα: | |
| Διαθέσιμο Online: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Σημείωση: |
9.9 Intuitive Descriptions of the Four-Valued Logic Semantics Description basée sur l'édition papier La pagination de l'édition imprimée correspondante est de 339 p. Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Three views of logic, mathematic, philosophy and computer science, Donald W. Loveland, Richard E. Hodel, S. G. Sterrett, Princeton, Princeton University Press, 2014, 1 vol. (XV- 322 p.), 978-0-691-16044-3 |
| LEADER | 02083nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 1390665 | ||
| 008 | 150901q2014 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN187962251 | ||
| 020 | |a 9781400848751 | ||
| 020 | |a 9781400848751 | ||
| 041 | 0 | |a eng | |
| 082 | |a 160 | ||
| 082 | |a 510 | ||
| 084 | |a 511.3 | ||
| 100 | 1 | |a Loveland, Donald W. | |
| 245 | 1 | 0 | |a Three Views of Logic : |b Mathematics, Philosophy, and Computer Science |c Donald W. Loveland ; Richard E. Hodel, S. G. Sterrett. |
| 256 | |a Données textuelles | ||
| 260 | |a Princeton : |b Princeton University Press, |c 2014. | ||
| 500 | |a 9.9 Intuitive Descriptions of the Four-Valued Logic Semantics | ||
| 500 | |a Description basée sur l'édition papier | ||
| 500 | |a La pagination de l'édition imprimée correspondante est de 339 p. | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 506 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 538 | |a Nécessite un navigateur et un lecteur de fichier PDF | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorie de la démonstration | ||
| 650 | |a Logique informatique | ||
| 650 | |a Logique |x Philosophie | ||
| 700 | 1 | |a Hodel, Richard E. |4 aut | |
| 700 | 1 | |a Sterrett, S. G. |4 aut | |
| 776 | 0 | |0 179753355 |t Three views of logic |o mathematic, philosophy and computer science |f Donald W. Loveland, Richard E. Hodel, S. G. Sterrett |c Princeton |n Princeton University Press |d 2014 |p 1 vol. (XV- 322 p.) |z 978-0-691-16044-3 | |
| 856 | 4 | |5 452349901:873474295 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88838021 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:873526457 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88838021 |z Accès INSA CVL | |
| 997 | |0 1390665 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||