Logic for computer scientists /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston :
Birkhauser,
1994, c1989
|
Έκδοση: | 2nd printing. |
Σειρά: | Progress in computer science and applied logic / John C. Cherniavsky ;
; v. 8 |
Θέματα: |