Branden Fitelson
4 articles in 2 journals
ARTICLE TITLE
YEAR
ACTIONS
-
Jak nie należy wykrywać projektu Published in: Filozoficzne Aspekty Genezy (Philosophical Aspects of Origin) 2007/2008 / Tom 4/5 / p. 53 - 80YEAR: 2007Plain TextBIBTEX
-
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
-
A Concise Axiomatization of RM-> Published in: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / p. 191 - 195YEAR: 2001Plain TextBIBTEX
