A Proof Theoretic Tool for First-Order Modal Logic

Bulletin of the Section of Logic, Tom 42, Numer 3-4 (2013) s. 93-110
Yehuda Schwartz, George Tourlakis

 

do góry