Source
Archive for Mathematical Logic 37 (1998) 297–307
(with Matthias Baaz)
Month: July 1998
Labeled calculi and finite-valued logics
Source
Studia Logica 61 (1998) 7–33
(with Matthias Baaz, Christian G. Fermüller, and Gernot Salzer)
Archive for Mathematical Logic 37 (1998) 297–307
(with Matthias Baaz)
Studia Logica 61 (1998) 7–33
(with Matthias Baaz, Christian G. Fermüller, and Gernot Salzer)