Image from Amazon.com
Logic for computer scientists
Material type:
TextLanguage: English Original language: German Series: Progress in computer science and applied logic ; v. 8Publication details: Boston : Birkhauser, 1989.Description: 166 p. : ill. ; 24 cmISBN: - 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 |
|---|---|---|---|---|---|---|---|
Books
|
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 : the science and philosophy of the infinite | 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 : a structured approach |
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
There are no comments on this title.