|
" Logic for computer science / "
Steve Reeves, Michael Clarke
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
625024
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Reeves, Steve,1957-
|
| Title & Author
|
:
|
Logic for computer science /\ Steve Reeves, Michael Clarke
|
| Publication Statement
|
:
|
Wokingham, England ;Reading, Mass. :: Addison-Wesley,, c1990
|
| Series Statement
|
:
|
International computer science series
|
| Page. NO
|
:
|
xi, 260 p. :: ill. ;; 24 cm
|
| ISBN
|
:
|
0201416433
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 255-256) and index
|
| Subject
|
:
|
Logic, Symbolic and mathematical
|
| LC Classification
|
:
|
QA9.R34 1990
|
| Added Entry
|
:
|
Clarke, Michael,1940-
|
| |