Gernot Salzer (salzer-g)

Contributi a Philosophie.ch

Bibliography

Caferra, Ricardo and Salzer, Gernot, eds. 2000. Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer.