Wyniki
-
Boolean theories with quantifiers
Mieczysław Omyła
Bulletin of the Section of Logic , 7 /2 (1978) s. 76-83 -
Basic intuitions of Non-Fregean logic
Mieczysław Omyła
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 40-47 -
Barcan formulas in SCI with quantifiers
Mieczysław Omyła
Bulletin of the Section of Logic , 6 /4 (1977) s. 171-176