Handbook of logic in computer science /

Bibliographic Details
Other Authors: Abramsky, Samson, 1953- (επιμελητής.), Gabbay, Dov M., 1945- (επιμελητής.), Maibaum, Thomas S. E., 1947- (επιμελητής.)
Format: Book
Language:English
Published: Oxford : Clarendon Press, 1992-2000.
Subjects:
Description
Item Description:Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.
Physical Description:5 τ. : εικ. ; 24 εκ.
Bibliography:Περιλαμβάνει βιβλιογραφία και ευρετήριο.
ISBN:0198537352
0198537611
0198537816