Visiting Faculty, Department of Philosophy, University of Mumbai, Mumbai;
Boole; Frege; conditional; modus ponens; propositional calculus; quantifiers; function and argument; axioms;
机译:关于命题逻辑的Frege's Begriffsschrift符号:设计原则和权衡
机译:逻辑形式,数学实践和弗雷格的
机译:逻辑形式,数学实践和弗雷格的
机译:从Boole完成现代逻辑的出现的逻辑的数学分析对Frege's Begriffsschrift的数学分析
机译:布尔的逻辑哲学的起源:将传统逻辑吸收到数学分析中。
机译:言语行为的行为分析对逻辑和数学的一些启示
机译:从逻辑数学到数学逻辑:布尔和弗雷格