LEADER 01221nam2-2200361---450- 001 990003229260203316 005 20091110092528.0 035 $a000322926 035 $aUSA01000322926 035 $a(ALEPH)000322926USA01 035 $a000322926 100 $a20090427d1965----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $a<> foundations of intuitionistic mathematics$eespecially in relation to recursive functions$fStephen Cole Kleene, Richard Eugene Vesley 210 $aAmsterdam$cNorth-Holland$d1965 215 $aVIII, 206 p.$cill.$d23 cm 225 2 $aStudies in logic and the foundations of mathematics$v23 410 1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v23 606 0 $aAlgebra 676 $a515 700 1$aKLEENE,$bStephen Cole$057809 701 $aVESLEY,$bRichard Eugene$047697 801 0$aIT$bsalbc$gISBD 912 $a990003229260203316 951 $a510 SL 23$b1627/CBS$c510$d00218705 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090427$lUSA01$h1405 979 $aRSIAV7$b90$c20091110$lUSA01$h0925 996 $aFoundations of intuitionistic mathematics$91013397 997 $aUNISA