名古屋大学附属図書館




1

The foundations of intuitionistic mathematics : especially in relation to recursive functions

Stephen Cole Kleene, Richard Eugene Vesley. -- North-Holland Pub. Co., 1965. -- (Studies in logic and the foundations of mathematics).