![Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Author:
Constable, Robert L. editor.
ISBN:
9783642294853
Physical Description:
XIII, 355p. 45 illus. online resource.
Series:
Lecture Notes in Computer Science, 7230
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 7230
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-29485-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 196711-2001 | ONLINE | Searching... | Searching... |