-
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 131 - 1362003CZYSTY TEKST
Larry Wos, Dolph Urlich, Branden Fitelson, XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 131 - 136
BIBTEX@Article{ authors = " Larry Wos, Dolph Urlich, Branden Fitelson", title = "XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "131 - 136" }
-
Single Axiom for Relevant Implication Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 13 - 162012CZYSTY TEKST
Dolph Urlich, Single Axiom for Relevant Implication, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 13 - 16
BIBTEX@Article{ authors = " Dolph Urlich", title = "Single Axiom for Relevant Implication", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "13 - 16" }
-
D-complete Axioms for the Classical Equivalential Calculus Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 135 - 1422005CZYSTY TEKST
Dolph Urlich, D-complete Axioms for the Classical Equivalential Calculus, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 135 - 142
BIBTEX@Article{ authors = " Dolph Urlich", title = "D-complete Axioms for the Classical Equivalential Calculus", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "135 - 142" }