Logic for computer scientists
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780817647629
- Logik für Informatiker. English
- 511.3 20 SCH-L
- QA9 .S363 1989
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD Reference | Mathematics | REF 511.3 SCH-L (Browse shelf(Opens below)) | Available | 003433 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
REF 511.3 RIC-A Automata, computability and complexity : | REF 511.3 ROG-T Theory of recursive functions and effective computability | REF 511.3 RUC-I Infinity and the mind : | REF 511.3 SCH-L Logic for computer scientists | REF 511.3 SOA-R Recursively enumerable sets and degrees : | REF 511.3 STE-F The foundations of mathematics | REF 511.3 VEL-H How to prove it : |
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
There are no comments on this title.