Handbook of logic in computer science. 1. Background, mathematical structures / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Saved in:
| Personal Name(s): | Abramsky, Samson, editor |
|---|---|
| Gabbay, Dov M., editor / Maibaum, Thomas Stephen Edward, editor | |
| Imprint: |
Oxford :
Clarendon Press,
1992
|
| Physical Description: |
XII, 827 Seiten |
| Note: |
englisch |
| ISBN: |
0198537352 9780198537359 |
| Series Title: |
Handbook of logic in computer science ;
1 |
| Keywords: |
mathematical structure recursion theory category theory |
| Subject (ZB): | |
| Classification: | |
| Shelf Classification: |
| ZB | |
|---|---|
Reading Room  Call Number: MDB 023-01 Barcode: 1094100445
Available
|
|