Mathematical investigation of intuitionistic arithmetic and analysis
Mathematical investigation of intuitionistic arithmetic and analysis
A. S. Troelstra
Details
OL Work ID
OL38503843W
Subjects
Symbolic and mathematical Logic
Mathematics
Methodology
Find this book
Open Library