LEADER 01273cam0-22003851i-450- 001 990002576370403321 005 20050428124612.0 035 $a000257637 035 $aFED01000257637 035 $a(Aleph)000257637FED01 035 $a000257637 100 $a20030910d1965----km-y0itay50------ba 101 0 $aeng 102 $aNL 200 1 $a<>foundations of intuitionistic mathematics, especially in relation to recursive functions$f[by] Stephen Cole Kleene [and] Richard Eugene Vesley 210 $aAmsterdam$cNorth-Holland Pub. Co.$d1965 215 $aviii, 206 p.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics 610 0 $aLogica e fondamenti 610 0 $aFondamenti della logica matematica e probabilità 676 $a511.3 676 $a519 700 1$aKleene,$bStephen Cole$f<1909- >$057809 701 1$aVesley,$bRichard Eugene$047697 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002576370403321 952 $aMXXXII-B-73$b034210$fMAS 952 $aC-30-(42$b8186$fMA1 952 $a4A-028$b4179$fFI1 959 $aMAS 959 $aMA1 959 $aFI1 996 $aFoundations of intuitionistic mathematics, especially in relation to recursive functions$9435960 997 $aUNINA