Wyniki
-
Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej
Janusz Wesserling
Studia Philosophiae Christianae , 48 /3 (2012) s. 185-208 -
Dwa semantyczne ujęcia logiki drugiego rzędu z identycznością
Janusz Wesserling
Studia Philosophiae Christianae , 39 /1 (2003) s. 75-103