Mathematical logic for computer science [[Book] /]Mordechai Ben-Ari.
Von: Ben-Ari, M.
Materialtyp:
Medientyp | Aktueller Standort | Signatur | Exemplarnr. | Status | Fälligkeitsdatum |
---|---|---|---|---|---|
![]() |
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.