Javier Legris
On universality and formality in 19th century symbolic logic: the case of Schröder's "absolute algebra"
2015
in: The road to universal logic I, Basel : Birkhäuser
On the epistemological justification of Hilbert's metamathematics
2005
Philosophia Scientiae 9/2