Ewa Żarnecka-Biały
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present Opublikowano w: Bulletin of the Section of Logic 1972 / Tom 1 / Numer 2 / s. 25 - 27ROK: 1972CZYSTY TEKSTBIBTEX
-
Aristotle's proofs by ecthesis Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 1 / s. 40 - 44ROK: 1993CZYSTY TEKSTBIBTEX
-
Wajsberg's algorithm for the classical propositional calculus Opublikowano w: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 2 / s. 97 - 100ROK: 1973CZYSTY TEKSTBIBTEX