| Record ID | marc_loc_updates/v36.i16.records.utf8:1226171:850 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i16.records.utf8:1226171:850?format=raw |
LEADER: 00850cam a2200241 4500
001 75020959
003 DLC
005 20080417113449.0
008 711008s1965 ne b 001 0 eng
010 $a 75020959
040 $aDLC$cDLC$dDLC
050 00 $aQA9$b.K648
082 00 $a511/.33
100 1 $aKleene, Stephen Cole,$d1909-1994.
245 14 $aThe foundations of intuitionistic mathematics,$bespecially in relation to recursive functions$c[by] Stephen Cole Kleene [and] Richard Eugene Vesley.
260 $aAmsterdam,$bNorth-Holland Pub. Co.,$c1965.
300 $aviii, 206 p.$c23 cm.
350 $a8.00
440 0 $aStudies in logic and the foundations of mathematics
504 $a"Bibliography, by S. C. Kleene": p. [187]-199.
650 0 $aIntuitionistic mathematics.
650 0 $aRecursive functions.
700 1 $aVesley, Richard Eugene,$d1932-