Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga
Paperback
Not Available
History and Philosophy of Constructive Type Theory
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
