Download Towards Mathematical Philosophy : Papers From The Studia Logica Conference Trends In Logic Iv