Wyniki
-
Kripke-style semantics for Jaskowski's system Qf
Max Peter Urchs
Bulletin of the Section of Logic , 10 /1 (1981) s. 24-29 -
On determinism - still unproved in classical logic
Max Peter Urchs
Bulletin of the Section of Logic , 21 /4 (1992) s. 168