Wyniki
-
Wajsberg's algorithm for the classical propositional calculus
Ewa Żarnecka-Biały
Bulletin of the Section of Logic , 2 /2 (1973) s. 97-100 -
Aristotle's proofs by ecthesis
Ewa Żarnecka-Biały
Bulletin of the Section of Logic , 22 /1 (1993) s. 40-44 -
The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present
Ewa Żarnecka-Biały
Bulletin of the Section of Logic , 1 /2 (1972) s. 25-27