|
|
|
|
| LEADER |
00649nam a22001337a 4500 |
| 082 |
|
|
|a 004.0151
|b ABR.H.1-2
|
| 100 |
|
|
|a S Abramsky
|
| 245 |
|
|
|a Handbook of logic in computer science- 2 vol.
|
| 260 |
|
|
|a Oxford
|b Clarendon press
|c 1992
|
| 650 |
|
|
|a vol.1- Background: Mathematical structures
|a vol.2- Background: Computational structures
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 5014
|d 5014
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004_015100000000000_ABR_H_1
|7 0
|8 REF
|9 5010
|a CAMPUS
|b CAMPUS
|d 2015-07-22
|l 0
|o 004.0151 ABR.H.1
|p 05626
|r 2015-07-22
|w 2019-07-15
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004_015100000000000_ABR_H_2
|7 0
|8 REF
|9 5011
|a CAMPUS
|b CAMPUS
|d 2015-07-22
|l 0
|o 004.0151 ABR.H.2
|p 05627
|r 2015-07-22
|w 2019-07-15
|y BK
|