Handbook of logic in computer science. Volume 2, Background: computational structures
Finna rating
Handbook of logic in computer science. Volume 2, Background: computational structures
Saved in:
| Physical Description |
571 sivua |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Published |
Oxford :
Clarendon Press,
cop. 1992.
|
| Classification | |
| Subjects | |
| Additional Information | edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum ; volume co-ordinator Dov M. Gabbay |
| ISBN |
0-19-853761-1 inbunden |
| Get full text | |