The Foundations of Intuitionistic Mathematics
Subtitle: Especially In Relation to Recursive Functions
Publisher: North-Holland Pub. Co
Published: 1965
Language: eng
Number of pages: 222