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 -
Computer method of demonstration?
Mieczysław Lubański
Bulletin of the Section of Logic , 12 /4 (1983) s. 165-172 -
Barcan formulas in SCI with quantifiers
Mieczysław Omyła
Bulletin of the Section of Logic , 6 /4 (1977) s. 171-176 -
Descriptions in Theories of Kind W
Mieczysław Omyła, Roman Suszko
Bulletin of the Section of Logic , 1 /3 (1972) s. 8-13 -
Definitions in Theories of Kind W
Mieczysław Omyła, Roman Suszko
Bulletin of the Section of Logic , 1 /3 (1972) s. 14-19