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: |
| LEADER | 01339cam a2200421 n 4500 | ||
|---|---|---|---|
| 001 | 139064 | ||
| 008 | r1992 eng | ||
| 020 | |a 0198537352 | ||
| 035 | |a (Sirsi) a123561 | ||
| 035 | |a (Sirsi) i9780198537359 | ||
| 041 | |a eng | ||
| 084 | 0 | |a MDB - Logics | |
| 084 | 1 | |a MDB - Logik | |
| 245 | 0 | 0 | |a Handbook of logic in computer science. |n 1. |p Background, mathematical structures / |c edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| 264 | |a Oxford : |b Clarendon Press, |c 1992 | ||
| 300 | |a XII, 827 Seiten | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 490 | 0 | |a Handbook of logic in computer science ; |v 1 | |
| 500 | |a englisch | ||
| 650 | 4 | |a logics | |
| 650 | 4 | |a computer science | |
| 650 | 4 | |a algebra | |
| 650 | 4 | |a topology | |
| 650 | 4 | |a model theory | |
| 653 | |a mathematical structure | ||
| 653 | |a recursion theory | ||
| 653 | |a category theory | ||
| 700 | |a Abramsky, Samson, |e Herausgeber | ||
| 700 | |a Gabbay, Dov M., |e Herausgeber | ||
| 700 | |a Maibaum, Thomas Stephen Edward, |e Herausgeber | ||
| 900 | |a S 007453-0001'01' | ||
| 900 | |a MDB 023-01 | ||
| 908 | |a Handbuch | ||
| 915 | |a HS | ||
| 596 | |a 1 | ||
| 949 | |a MDB 023-01 |w LC |c 1 |i 1094100445 |l STACKS |m ZB |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-M |1 PRINT |2 HB | ||