|
|
|
|
| LEADER |
01130nam a2200265 i 4500 |
| 001 |
c000303993 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840302s1978 vp 0 eng d |
| 019 |
1 |
|
|a 1163427
|z 40260836
|5 LACONCORD2021
|
| 020 |
|
|
|a 0444851631
|
| 035 |
|
|
|a (OCoLC)3770580
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 511/.3
|
| 111 |
2 |
|
|a Symposium on Generalized Recursion Theory
|n (2nd :
|d 1977 :
|c University of Oslo)
|
| 245 |
1 |
0 |
|a Generalized recursion theory II :
|b proceedings of the 1977 Oslo symposium /
|c edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ,
|c 1978.
|
| 300 |
|
|
|a vii, 417 p. ;
|c 23 cm.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics ;
|v v. 94
|
| 650 |
|
0 |
|a Recursion theory
|x Congresses.
|
| 700 |
1 |
|
|a Fenstad, Jens Erik.
|
| 700 |
1 |
|
|a Gandy, Robert Oliver.
|
| 700 |
1 |
|
|a Sacks, Gerald E.
|
| 852 |
8 |
|
|b CARM
|h A3:AR07E0
|i C11148
|p 0514878
|f BK
|
| 999 |
f |
f |
|i 911cd98e-32b2-551b-b96a-290ac3ecc22a
|s 0d314464-71ef-59a1-a940-b64c43324e71
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C11148
|f A3:AR07E0
|h Other scheme
|i book
|m 0514878
|