|
|
|
|
| LEADER |
00000cam a2200000 4500 |
| 001 |
b1152448 |
| 003 |
CoU |
| 008 |
s1965 ne b 001 0 eng |
| 010 |
|
|
|a 75020959
|
| 035 |
|
|
|a ocm00213692
|
| 040 |
|
|
|a DLC
|c DLC
|
| 049 |
|
|
|a CODQ
|
| 090 |
|
|
|a QA248.5
|b .K56
|
| 100 |
1 |
|
|a Kleene, Stephen Cole,
|d 1909-1994.
|0 http://id.loc.gov/authorities/names/n79106427
|1 http://isni.org/isni/0000000114711821.
|
| 245 |
1 |
4 |
|a The foundations of intuitionistic mathematics :
|b especially in relation to recursive functions /
|c [by] Stephen Cole Kleene [and] Richard Eugene Vesley.
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co.,
|c 1965.
|
| 300 |
|
|
|a viii, 206 pages ;
|c 23 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics.
|
| 504 |
|
|
|a "Bibliography, by S. C. Kleene": pages [187]-199.
|
| 590 |
|
|
|a MathPhys c.2-3 cancelled.
|
| 590 |
|
|
|a @ MathPhys c.1, c.4.
|
| 583 |
1 |
|
|a committed to retain
|c 20160101
|d 20410101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies.
|
| 650 |
|
0 |
|a Recursive functions.
|0 http://id.loc.gov/authorities/subjects/sh85112014.
|
| 650 |
|
0 |
|a Intuitionistic mathematics.
|0 http://id.loc.gov/authorities/subjects/sh85067656.
|
| 700 |
1 |
|
|a Vesley, Richard Eugene,
|d 1932-
|0 http://id.loc.gov/authorities/names/n88646753
|1 http://isni.org/isni/0000000109985553.
|
| 830 |
|
0 |
|a Studies in logic and the foundations of mathematics.
|0 http://id.loc.gov/authorities/names/n42707789.
|
| 907 |
|
|
|a .b11524480
|b 03-18-20
|c 11-14-94
|
| 998 |
|
|
|a eng
|a pas
|b 10-03-94
|c z
|d m
|e -
|f eng
|g ne
|h 4
|i 2
|
| 907 |
|
|
|a .b11524480
|b 10-23-18
|c 11-14-94
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b11524480
|b 06-15-11
|c 11-14-94
|
| 907 |
|
|
|a .b11524480
|b 03-24-08
|c 11-14-94
|
| 948 |
|
|
|a cwd10/11 : feb : mw : from mph=c.3
|
| 999 |
f |
f |
|i 57f0f865-6ee8-5fbe-b4f4-c35f30a1d9d5
|s edef3253-301a-5c6d-86a4-479536e87786
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e QA248.5 .K56
|h Library of Congress classification
|i book
|m P103142707011
|n 1
|
