|
|
|
|
| LEADER |
01421nam a2200325 i 4500 |
| 001 |
c000044541 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
790827s1980 ne a b 10010 eng |
| 019 |
1 |
|
|a 1509615
|5 LACONCORD2021
|
| 020 |
|
|
|a 0444853456
|
| 035 |
|
|
|a (OCoLC)5411981
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a QA9.6
|b .K53 1978
|
| 111 |
2 |
0 |
|a Kleene Symposium
|d (1978 :
|c Madison, Wis.)
|
| 245 |
0 |
4 |
|a The Kleene Symposium :
|b proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
|c edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b North-Holland Pub. Co. ;
|a New York :
|b sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
|c 1980.
|
| 300 |
|
|
|a xx, 425 p. :
|b ill. ;
|c 23 cm.
|
| 440 |
|
|
|a Studies in logic and the foundations of mathematics ;
|v v. 101
|
| 504 |
|
|
|a Includes bibliographies.
|
| 600 |
1 |
0 |
|a Kleene, Stephen Cole,
|d 1909-
|
| 650 |
|
0 |
|a Recursion theory
|x Congresses.
|
| 650 |
|
0 |
|a Intuitionistic mathematics
|x Congresses.
|
| 700 |
1 |
|
|a Kleene, Stephen Cole,
|d 1909-
|
| 700 |
1 |
|
|a Barwise, Jon.
|
| 700 |
1 |
|
|a Keisler, H. Jerome.
|
| 700 |
1 |
|
|a Kunen, Kenneth.
|
| 852 |
8 |
|
|b CARM
|h A2:AI38B0
|i B04384
|p 0199279
|f BK
|
| 082 |
0 |
4 |
|a 511/.3
|
| 999 |
f |
f |
|i a234b24d-00a4-5f8f-afba-9ab0abdf7dfc
|s 28354e9a-8fdc-5c0c-a2ae-4f2beab3a281
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B04384
|f A2:AI38B0
|h Other scheme
|i book
|m 0199279
|