On universality and formality in 19th century symbolic logic

the case of Schröder's "absolute algebra"

2015

Javier Legris

in: The road to universal logic I, Basel,

On the epistemological justification of Hilbert's metamathematics

2005

Javier Legris

Philosophia Scientiae 9 (2)