On completeness of intermediate predicate logics with respect to Kripke semantics

Bulletin of the Section of Logic, Tom 24, Numer 1 (1995) s. 41-45
Tatsuya Shimura

 

do góry