David Makinson , Jacek Malinowski , Heinrich Wansing (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV, Dordrecht, Springer.
