Kleene, Stephen Cole. Foundations of intuitionistic mathematics especially in relation to recursive functions /by Stephen Cole Kleene, Richard Eugene Vesley - Amsterdam North-Holland Pub.Co 1965 - viii, 206p - Studies in Logic and Foundations of Mathematics . Dewey Class. No.: 511.3 / N651