Ewa Żarnecka-Biały
3 artykuły w 1 czasopismach
-
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 - 271972CZYSTY TEKST
Ewa Żarnecka-Biały, The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 2, s. 25 - 27
BIBTEX@Article{ authors = " Ewa Żarnecka-Biały", title = "The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 2", pages = "25 - 27" }
-
Aristotle's proofs by ecthesis Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 1 / s. 40 - 441993CZYSTY TEKST
Ewa Żarnecka-Biały, Aristotle's proofs by ecthesis, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 1, s. 40 - 44
BIBTEX@Article{ authors = " Ewa Żarnecka-Biały", title = "Aristotle's proofs by ecthesis", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 1", pages = "40 - 44" }
-
Wajsberg's algorithm for the classical propositional calculus Opublikowano w: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 2 / s. 97 - 1001973CZYSTY TEKST
Ewa Żarnecka-Biały, Wajsberg's algorithm for the classical propositional calculus, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 2, s. 97 - 100
BIBTEX@Article{ authors = " Ewa Żarnecka-Biały", title = "Wajsberg's algorithm for the classical propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 2", pages = "97 - 100" }