Logic for computer science / Steve Reeves, Michael Clarke
| Main Author: | Reeves, Steve |
|---|---|
| Other Authors: | Clarke, Michael |
| Format: | MONOGRAPHS |
| Language: | English |
| Published: |
London : Addison-Wesley, 1990 |
| Series: |
International computer science series
|
| Subjects: |
Computer science.
Logic, Symbolic and mathematical. |
| Tags: |
Add
No Tags, Be the first to tag this record!
|
| LEADER | 00781nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 0014577 | ||
| 003 | Th-MUT | ||
| 008 | 181106s9999 xx 000 0 eng d | ||
| 020 | |a 0201416433 | ||
| 040 | |a DLC|MUT | ||
| 050 | 0 | 0 | |a QA9 |b R44L64 |
| 100 | 1 | |a Reeves, Steve | |
| 245 | 1 | 0 | |a Logic for computer science |b / |c Steve Reeves, Michael Clarke |
| 260 | |a London : |b Addison-Wesley, |c 1990 | ||
| 300 | |a xi, 260 p. : |c 23 cm. | ||
| 440 | 0 | |a International computer science series | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 700 | 1 | |a Clarke, Michael | |
| 991 | |a MONOGRAPHS |b 6 |c 2018-11-06 17:27:55 |d 2022-12-02 08:13:25 |e mut |f n |g 2018-11-06 |h n |i a |j m |k |l a |m |n a |o |p b |q |r enk |s eng |t 1990 |v Logic for computer science / | ||