Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. mathematical structures ; volume co-ordinator, Dov. M. Gabbay. mathematical structures ; volume co-ordinator, Dov. M. Gabbay. Vol.1, Background :
Saved in:
Other Authors: | , , |
---|---|
Format: | Book |
Language: | English |
Published: |
Oxford :
Clarendon Press,
1992.
|
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library
Shelfmark:
005.131/HAN |
|
Copy number
Shelving location
Availability
| |
Copy [0402831918]
Unknown
On Shelf
|