Handbook of logic in computer science

Saved in:
Bibliographic Details
Group Author: Abramsky S 1953-; Gabbay Dov M 1945-; Maibaum T. S. E 1947-
Published: Clarendon Press,
Publisher Address: Oxford
Publication Dates: 1992-
Literature type: Book
Language: English
Subjects:
Carrier Form: v.: ill. ; 24 cm.
ISBN: 0198537808
Index Number: TP301
CLC: TP301-62
TP3-62
Call Number: TP3-62/H236.1/
Contents: v.4: Semantic modelling. -- 1995. -- xiii, 651 p.