Intuitionistic Proof Versus Classical Truth
Intuitionistic Proof Versus Classical Truth
Enrico Martino
Details
OL Work ID
OL20863955W
Subjects
Intuitionistic mathematics
Logic, symbolic and mathematical
Philosophy
Find this book
Open Library