Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga
Paperback
Not Available
History and Philosophy of Constructive Type Theory
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.