History and Philosophy of Constructive Type Theory (Synthese Library Book 290) 2000th Edition

6.14 MiB

Download ready in 3s