Alexander Leitsch (leitsch)

Contributions to Philosophie.ch

Bibliography

Baaz, Matthias, Egly, Uwe and Leitsch, Alexander. 1998. “Extension Methods in Automated Deduction.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 331–360. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Gottlob, Georg, Leitsch, Alexander and Mundici, Daniele, eds. 1993. Computational Logic and Proof Theory. Lecture Notes in Computer Science n. 713. Berlin: Springer.
Leitsch, Alexander. 1997. The Resolution Calculus. New York: Springer.
Leitsch, Alexander and Fermüller, Christian G. 2005. “The Resolution Principle.” in Handbook of Philosophical Logic, Volume XII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 87–173. Dordrecht: Springer.
Leitsch, Alexander and Schwabl, H.-D. 1983. “Versuch einer inhaltlichen Analyse des Mathematischen Funktionsbegriffes.” Philosophia Naturalis 20: 134–146.