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: |