逻辑学

决策理论, 哲学, 学术, 概率论, 逻辑学

理查德·卡尔·杰弗里 (Richard Carl Jeffrey)

决策, 哲学家, 概率论, 理查德·杰弗里, 逻辑学

人物传记, 数学, 美国学者, 计算机科学, 逻辑学

彼得·B·安德鲁斯 (Peter B. Andrews)

彼得·B·安德鲁斯, 数理逻辑, 自动定理证明, 计算机科学, 逻辑学

历史, 数学, 数理逻辑, 证明论, 逻辑学

根岑的相容性证明 (Gentzen’s consistency proof)

数学逻辑, 根岑, 相容性证明, 证明论, 逻辑学

命题逻辑, 推理, 数学, 计算机科学, 逻辑学

双条件引入 (Biconditional Introduction)

双条件, 命题逻辑, 推理规则, 逻辑学, 逻辑推理

历史, 哲学, 政治, 数学, 逻辑学

伯特兰·罗素 (Bertrand Russell)

伯特兰·罗素, 和平主义, 哲学, 数学, 逻辑学