Constructive Mathematics
Constructive Mathematics
Fred Richman
Details
OL Work ID
OL20784643W
Subjects
Constructive mathematics
Intuitionistic mathematics
Mathematics
Symbolic and mathematical Logic
Mathematical Logic and Foundations
Find this book
Open Library