Branden Fitelson
4 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Jak nie należy wykrywać projektu Opublikowano w: Filozoficzne Aspekty Genezy (Philosophical Aspects of Origin) 2007/2008 / Tom 4/5 / s. 53 - 80ROK: 2007CZYSTY TEKSTBIBTEX
-
Axiomatic proofs through automated reasoning Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 125 - 136ROK: 2000CZYSTY TEKSTBIBTEX
-
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 - 136ROK: 2003CZYSTY TEKSTBIBTEX
-
A Concise Axiomatization of RM-> Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / s. 191 - 195ROK: 2001CZYSTY TEKSTBIBTEX
