-
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" }
-
Axiomatic proofs through automated reasoning Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 125 - 1362000CZYSTY TEKST
Branden Fitelson, Larry Wos, Axiomatic proofs through automated reasoning, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 125 - 136
BIBTEX@Article{ authors = " Branden Fitelson, Larry Wos", title = "Axiomatic proofs through automated reasoning", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "125 - 136" }
-
A Concise Axiomatization of RM-> Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / s. 191 - 1952001CZYSTY TEKST
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos, A Concise Axiomatization of RM->, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 191 - 195
BIBTEX@Article{ authors = " Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos", title = "A Concise Axiomatization of RM->", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "191 - 195" }
