| Record ID | marc_records_scriblio_net/part08.dat:132902141:815 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part08.dat:132902141:815?format=raw |
LEADER: 00815cam 2200229 4500
001 75020959
003 DLC
005 19770408000000.0
008 711008s1965 ne b 00110 eng
010 $a 75020959
050 0 $aQA9$b.K648
082 $a511/.33
100 10 $aKleene, Stephen Cole,$d1909-
245 14 $aThe foundations of intuitionistic mathematics,$bespecially in relation to recursive functions$c[by] Stephen Cole Kleene [and] Richard Eugene Vesley.
260 0 $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 10 $aVesley, Richard Eugene,$d1932-