Author :
Kleene, Stephen Cole, 1909-
Title :
The foundations of intuitionistic mathematics
Author Statement :
[by] Stephen Cole Kleene [and] Richard Eugene Vesley
Publication :
North-Holland Pub. Co.
Collation :
viii, 206 p.: ill.; 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Intuitionistic mathematics , Recursive functions
ADDED ENTRIES :
Vesley, Richard Eugene ,
SubTitle :
especially in relation to recursive functions
Index :
"Bibliography, by S. C. Kleene": p. [187]-199
