Mathematical logic for computer science [[Book] /]Mordechai Ben-Ari.
Von: Ben-Ari, M.
Materialtyp:
BuchVerlag: London ; New York : Springer, 2003, c2001Auflage: 2nd ed.Beschreibung: xiv, 304 p. : ill. ; 24 cm.ISBN: 8181283449.Schlagwörter: Logic, Symbolic and mathematicalDDC-Klassifikation: 511.3 Online-Ressourcen: Publisher description | Table of contents only
| Medientyp | Aktueller Standort | Signatur | Exemplarnr. | Status | Fälligkeitsdatum |
|---|---|---|---|---|---|
Books
|
6october 1104 | 511.3 B M (Regal durchstöbern) | 1 | Verfügbar |
Regale von 6october durchstöbern , Standort: 1104 Regal ausblenden
|
|
Kein Coverbild verfügbar Kein Coverbild verfügbar |
|
|
|
|
||
| 511.201 C S A structural account of mathematics | 511.201 C S A structural account of mathematics | 511.24 WS statstics for scientists and eng | 511.3 B M Mathematical logic for computer science | 511.3 C C Computability theory | 511.3 CC Computability theory | 511.3 CL Logic, sets, and recursion |
2nd printing with corrections 2003.
Includes bibliographical references (p. [293]-295) and indexes.
Es gibt keine Kommentare zu diesem Titel.