Larry Wos
4 articles in 1 journals
ARTICLE TITLE
YEAR
ACTIONS
-
Axiomatic proofs through automated reasoning Published in: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / p. 125 - 136YEAR: 2000Plain TextBIBTEX
-
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Published in: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / p. 131 - 136YEAR: 2003Plain TextBIBTEX
-
Hilbert's New Problem Published in: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / p. 165 - 175YEAR: 2001Plain TextBIBTEX
-
A Concise Axiomatization of RM-> Published in: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / p. 191 - 195YEAR: 2001Plain TextBIBTEX
