Handbook of logic in computer science
Saved in:
Group Author: | ; ; |
---|---|
Published: |
Clarendon Press,
|
Publisher Address: | Oxford |
Publication Dates: | 1992- |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | v.: ill. ; 24 cm. |
ISBN: |
0198537352 (v. 1) 0198537611 (v. 2) |
Index Number: | TP3 |
CLC: | TP3-62 |
Call Number: | TP3-62/H236.1/ |
Contents: |
v.1: Background : mathematical structures. -- xii, 827 p. v.2: Background : computational structures. -- 1992. -- x, 571 p. |