|
|
|
|
| LEADER |
03486cmm a2200913 4500 |
| 001 |
ebook-187962251 |
| 005 |
20240325095435.0 |
| 007 |
cr|uuu---uuuuu |
| 008 |
150901q2014uuuuus |||| |||d ||||||eng d |
| 020 |
|
|
|a 9781400848751
|
| 020 |
|
|
|a 9781400848751
|
| 024 |
7 |
|
|a 10.1515/9781400848751
|2 DOI
|
| 035 |
|
|
|a 199244499
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)872430463
|
| 035 |
|
|
|a cis27261366
|
| 035 |
|
|
|a FRCYB07488838021
|
| 035 |
|
|
|a FRCYB88838021
|
| 035 |
|
|
|a FRCYB07888838021
|
| 035 |
|
|
|a FRCYB08288838021
|
| 035 |
|
|
|a FRCYB08888838021
|
| 035 |
|
|
|a FRCYB14088838021
|
| 035 |
|
|
|a FRCYB17988838021
|
| 035 |
|
|
|a FRCYB24288838021
|
| 035 |
|
|
|a FRCYB24788838021
|
| 035 |
|
|
|a FRCYB26088838021
|
| 035 |
|
|
|a FRCYB26688838021
|
| 035 |
|
|
|a FRCYB26788838021
|
| 035 |
|
|
|a FRCYB26888838021
|
| 035 |
|
|
|a FRCYB29388838021
|
| 035 |
|
|
|a FRCYB29588838021
|
| 035 |
|
|
|a FRCYB43288838021
|
| 035 |
|
|
|a FRCYB55388838021
|
| 035 |
|
|
|a FRCYB55488838021
|
| 035 |
|
|
|a FRCYB55988838021
|
| 035 |
|
|
|a FRCYB089188838021
|
| 040 |
|
|
|a ABES
|b fre
|e AFNOR
|
| 041 |
0 |
|
|a eng
|2 639-2
|
| 050 |
|
4 |
|a QA9
|
| 082 |
0 |
|
|a 160
|
| 082 |
0 |
|
|a 510
|
| 084 |
|
|
|a 511.3
|
| 100 |
1 |
|
|0 (IdRef)075062577
|1 http://www.idref.fr/075062577/id
|a Loveland, Donald W..
|4 aut.
|e Auteur
|
| 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.
|
| 264 |
|
1 |
|a Princeton :
|b Princeton University Press,
|c 2014.
|
| 336 |
|
|
|b txt
|2 rdacontent
|
| 337 |
|
|
|b c
|2 rdamedia
|
| 337 |
|
|
|b b
|2 isbdmedia
|
| 338 |
|
|
|b ceb
|2 RDAfrCarrier
|
| 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.
|
| 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 |
|
0 |
|a Mathematics
|x General.
|2 lc
|
| 650 |
|
0 |
|a Mathematics
|x Linear & Nonlinear Programming.
|2 lc
|
| 650 |
|
0 |
|a Mathematics
|x Philosophy.
|2 lc
|
| 650 |
|
0 |
|a Berechenbarkeit.
|2 lc
|
| 650 |
|
0 |
|a Beweistheorie.
|2 lc
|
| 650 |
|
0 |
|a Computable functions.
|2 lc
|
| 650 |
|
0 |
|a Logic and Set Theory.
|2 lc
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|2 lc
|
| 650 |
|
0 |
|a Logic.
|2 lc
|
| 650 |
|
0 |
|a Mathematics.
|2 lc
|
| 650 |
|
0 |
|a Mathematik.
|2 lc
|
| 650 |
|
0 |
|a Nichtklassische Logik.
|2 lc
|
| 650 |
|
0 |
|a Nonclassical mathematical logic.
|2 lc
|
| 650 |
|
0 |
|a Proof theory.
|2 lc
|
| 650 |
|
7 |
|0 (IdRef)027662799
|1 http://www.idref.fr/027662799/id
|a Logique mathématique.
|2 ram
|
| 650 |
|
7 |
|0 (IdRef)03145836X
|1 http://www.idref.fr/03145836X/id
|a Théorie de la démonstration.
|2 ram
|
| 650 |
|
7 |
|0 (IdRef)035073144
|1 http://www.idref.fr/035073144/id
|a Logique informatique.
|2 ram
|
| 650 |
|
7 |
|0 (IdRef)05015656X
|1 http://www.idref.fr/05015656X/id
|a Logique
|x Philosophie.
|2 ram
|
| 700 |
1 |
|
|0 (IdRef)189144351
|1 http://www.idref.fr/189144351/id
|a Hodel, Richard E..
|4 aut.
|e Auteur
|
| 700 |
1 |
|
|0 (IdRef)189144483
|1 http://www.idref.fr/189144483/id
|a Sterrett, S. G..
|4 aut.
|e Auteur
|
| 856 |
|
|
|q HTML
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88838021
|w Données éditeur
|z Accès à l'E-book
|
| 886 |
2 |
|
|2 unimarc
|a 181
|a i#
|b xxxe##
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 187962251
|