| Record ID | OpenLibraries-Trent-MARCs/tier1.mrc:24123012:1005 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier1.mrc:24123012:1005?format=raw |
LEADER: 01005cam 2200289 4500
001 0116400162370
008 770314s1965 ne b 00110 eng u
010 $a 75020959
020 $c8.00
035 $a(Sirsi) AAZ-6168
035 $a13038819
035 $arecon$fdpa
040 $aOPET$beng
046 $aLC
050 0 $aQA9$b.K648
082 $a511/.33
090 0 $aQA 9 .K551$bb
100 1 $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 $aAmsterdam:$bNorth-Holland Pub. Co.,$c1965.
300 $aviii, 206 p.;$c23 cm. -
490 1 $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-
830 0 $aStudies in logic and the foundations of mathematics.