Iris Loeb
The role of universal language in the early work of Carnap and Tarski
2017
Synthese 194/1
From mereology to boolean algebra
2014
in: The history and philosophy of Polish logic, Dordrecht : Springer
Towards transfinite type theory
2014
Synthese 191/10
Uniting model theory and the universalist tradition of logic
2014
Synthese 191/12
The transition from formula-centered to concept-centered analysis Bolzano's purely analytic proof
2014
Philosophia Scientiae 18/1