|
|
|
|
| LEADER |
00991pam a2200217 i 4500 |
| 008 |
790827s1980 ne a b 100 0 eng |
| 020 |
|
|
|a 0444853456
|
| 080 |
|
|
|a 510.6
|b KLE
|
| 100 |
|
|
|a Kleene, Stephen Cole,
|9 5030
|
| 245 |
0 |
4 |
|a 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. ;
|
| 650 |
|
0 |
|a Recursion theory
|v Congresses.
|9 4328
|
| 650 |
|
0 |
|a Intuitionistic mathematics
|v Congresses.
|9 5031
|
| 700 |
1 |
|
|a Kleene, Stephen Cole,
|9 5032
|
| 700 |
1 |
|
|a Barwise, Jon.
|9 661
|
| 700 |
1 |
|
|a Keisler, H. Jerome.
|9 1158
|
| 700 |
1 |
|
|a Kunen, Kenneth.
|9 5033
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 218945
|d 218945
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 5106_KLE
|7 0
|9 283465
|a MAT
|b MAT
|d 2010-03-01
|o 510.6 KLE
|p MAT02768
|r 2010-03-01
|t 1
|w 2010-03-01
|y BK
|