Wstęp do teorii mnogości, Wydawnictwo Naukowe UAM, Poznań 2005, ss 200; wyd. drugie 2006 (współautor K. Świrydowicz). Podstawy logiki i teorii mnogości, Wydawnictwo Naukowe UAM, Poznań 2006, ss 163; wydanie drugie 2016 (współautor K. Świrydowicz). Essays in the Philosophy and History of Logic and Mathematics, Editions Rodopi, Amsterdam-New York 2010, ss. 343. Philosophie der Mathematik, Walter de Gruyter, Berlin/New York 2010, ss. 322; wydanie drugie rozszerzone: Walter de Gruyter, Berlin/Boston, ss. 396; wydanie trzecie rozszerzone i przerobione: Walter de Gruyter, Berlin/Boston 2015, ss. 484; wydanie czwarte rozszerzone i przerobione: Walter de Gruyter, Berlin/Boston 2019, ss. 538 (współautor Th. Bedürftig); wydanie piąte rozszerzone i przerobione: Walter de Gruyter, Berlin/Boston 2024, ss. 554 (współautorzy: Th. Bedürftig, K. Kuhlemann). Logos and Máthēma. Studies in the Philosophy of Mathematics and History of Logic, Peter Lang Internationaler Verlag der Wissenschaften, Frankfurt am Main 2011, ss. 337. Filozofia matematyki i logiki w Polsce międzywojennej, Monografie Fundacji na rzecz Nauki Polskiej, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Toruń 2011, ss. 253. Filozofia informatyki. Antologia, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, Poznań 2014, ss.