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 .

511.3 / N651