Partially-elementary extension Kripke models and Burr's hierarchy

Bulletin of the Section of Logic, Tom 28, Numer 4 (1999) s. 207-214
Tomasz Połacik

 

do góry