|
|
|
|
| LEADER |
01582nam a2200313 i 4500 |
| 001 |
c000248896 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840409s1965 ne 0 eng d |
| 019 |
1 |
|
|a 3188087
|z 25023041
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)526307
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 164
|
| 111 |
2 |
|
|a Logic Colloquium
|n (8th :
|d 1963 :
|c Oxford, England)
|
| 245 |
1 |
0 |
|a Formal systems and recursive functions :
|b proceedings /
|c Edited by J. N. Crossley and M. A. E. Dummett.
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co.,
|c 1965.
|
| 300 |
|
|
|a 320 p.
|
| 440 |
|
0 |
|a Studies in logic and the foundations of mathematics
|
| 500 |
|
|
|a "The Colloquium was recognized as a meeting of the Association for Symbolic Logic ... [and] was a NATO Advanced Study Institute with a Symposium on Recursive Functions sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philo.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
0 |
|a Recursive functions.
|
| 700 |
1 |
|
|a Crossley, John N.
|
| 700 |
1 |
|
|a Dummett, Michael A. E.
|
| 710 |
2 |
|
|a Association for Symbolic Logic.
|
| 710 |
2 |
|
|a North Atlantic Treaty Organization.
|
| 710 |
2 |
|
|a International Union of the History and Philosophy of Science.
|
| 711 |
2 |
|
|a Symposium on Recursive Functions
|d (1963 :
|c Oxford, England)
|
| 852 |
8 |
|
|b CARM
|h A2:AQ24B0
|i C08535
|p 0330669
|f BK
|
| 999 |
f |
f |
|i d64e62ba-d100-564e-b67f-f6361be0aea4
|s 2003639b-9ffc-5063-863a-4f2c73af9f4b
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C08535
|f A2:AQ24B0
|h Other scheme
|i book
|m 0330669
|