Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University - Metalogic - Document - PDFSEARCH.IO

First Page	Meta Content
	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Document Date: 2016-07-11 03:14:21 Open Document File Size: 409,98 KB Share Result on Facebook

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford UniversityAdd to Reading List