Logic for computer scientists / Uwe Schöning.
Material type: TextLanguage: English Original language: German Series: Progress in computer science and applied logic ; v. 8Publication details: Boston : Birkhäuser, 1989.Description: 166 p. : ill. ; 24 cmISBN:- 0817634533 (alk. paper)
- Logik für Informatiker. English
- 511.3 20
- QA9 .S363 1989
No physical items for this record
Translation of: Logik für Informatiker.
Includes bibliographical references (p. 155-159).
There are no comments on this title.
Log in to your account to post a comment.