Towards Mathematical Philosophy - Studia Logica Conference on Trends in Logic IV; Hendricks, Vincent F.; Makinson, David; Malinowski, Jacek; Wansing, Heinrich; Wójcicki, Ryszard (Springer Netherlands, 2009)