01221nam2-2200361---450-99000322926020331620091110092528.0000322926USA01000322926(ALEPH)000322926USA0100032292620090427d1965----km-y0itay50------baengNL||||||||001yy<<The>> foundations of intuitionistic mathematicsespecially in relation to recursive functionsStephen Cole Kleene, Richard Eugene VesleyAmsterdamNorth-Holland1965VIII, 206 p.ill.23 cmStudies in logic and the foundations of mathematics230010003345862001Studies in logic and the foundations of mathematics23Algebra515KLEENE,Stephen Cole57809VESLEY,Richard Eugene47697ITsalbcISBD990003229260203316510 SL 231627/CBS51000218705BKSCIRSIAV79020090427USA011405RSIAV79020091110USA010925Foundations of intuitionistic mathematics1013397UNISA