Logic for computer scientists/
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Boston :
Birkhauser,
1994, c1989
|
| Edition: | 2nd printing. |
| Series: | Progress in computer science and applied logic / John C. Cherniavsky ;
; v. 8 |
| Subjects: |
| Physical Description: | 166 p. : : ill. ; ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliography and index. Includes index Includes bibliography |
| ISBN: | 3764334533 |