Epistemology Versus Ontology: Essays on the Philosophy and Foundations ...
P. Dybjer & Sten Lindström & Erik Palmgren & B. G. Sundholm