BazHum - wyniki wyszukiwania

Wyniki

Autor : Kosta Dosen

Checked:

Higher-order sequent-system for intuitionistic modal logic

Kosta Dosen
Bulletin of the Section of Logic , 14 /4 (1985) s. 140-143
Cut elimination in adjunction

Kosta Dosen
Bulletin of the Section of Logic , 28 /2 (1999) s. 61-73
Normal modal logics in which the Heyting propositional calculus can be embedded : Abstract

Kosta Dosen
Bulletin of the Section of Logic , 17 /1 (1988) s. 23-33

Zawęź wyniki

Czasopismo:

Bulletin of the Section of Logic (3)

Autor:

Kosta Dosen (3)

Data wydania:

Język:

EN (3)

Subskrybuj wyniki