Die richtige Formel: Philosophische Probleme der logischen Formalisierung. Herausgegeben von Volker Halbach, Alexander Hieke, Hannes Leitgeb und Holger Sturm