ε-μ-Logik: eine Theorie propositionaler Logiken

Sebastian Bab. ε-μ-Logik: eine Theorie propositionaler Logiken. PhD thesis, Berlin Institute of Technology, 2007.

Abstract

Abstract is missing.