Cover is for reference only

Handbook of logic in computer science

Saved in:
Bibliographic Details
Group Author: Abramsky Samson 1953-; Gabbay Dov M 1945-; Maibaum Thomas S. E 1947-
Published: Clarendon Press,
Publisher Address: Oxford
Publication Dates: 1992-
Literature type: Book
Language: English
Subjects:
Computer science
Logic, Symbolic and mathematical
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.

Related Book Recommendations