Alain Heuerding (heuerding)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Heuerding, Alain. 1999. “Sequent Calculi for Proof Search in Some Modal Logics.” Doktorarbeit, Bern: Institute for Applied Mathematics IAM, Universität Bern.