論理学のしくみ：取扱説明書

How Logic Works

A User's Guide

万人のための論理学

Logic for Everyone

From Proof to Paradox

Argument Dialectics

The Place of Reasons in Logic

集合論の哲学必携

The Palgrave Companion to the Philosophy of Set Theory

ゲーデルの不完全定理とツェルメロの公理：数学の堅固な基盤（テキスト・第２版）

Gödel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

ソクラテス的な証明の方法

The Method of Socratic Proofs

From the Logic of Questions to Proof Theory

数学の哲学：ピュタゴラス派からユークリッドまで

Philosophy of Mathematics from the Pythagoreans to Euclid

数学の哲学：ピュタゴラス派からユークリッドまで

Philosophy of Mathematics from the Pythagoreans to Euclid

Logic and Science

An Exploration of Logical Anti-Exceptionalism

Logic and Science

An Exploration of Logical Anti-Exceptionalism

演繹：哲学・歴史・形式理論の今日的研究

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

万人のための論理学

Logic for Everyone

From Proof to Paradox

無限にいたる規則：科学的説明における数学の規範的役割

Rules to Infinity

The Normative Role of Mathematics in Scientific Explanation

古典・様相論理学入門

An Introduction to Classical and Modal Logics

The Outlines of Knowledge

神秘主義の論理学

The Logic of Mysticism

自然科学の哲学のための時間トポスの方法：数学の圏と層で説明する意識の世界

Temporal Topos Methods for the Philosophy of Natural Sciences

The Nexus of Ontology and Epistemology

ケインズと確率論の歴史：ロック、ライプニッツ、ヒュームの影響

J.M. Keynes and the History of Probability

The Influence of Locke, Leibniz, and Hume

数学的実践の哲学入門

Introducing the Philosophy of Mathematical Practice

データ駆動推論のための論理学の視座

Perspectives on Logics for Data-driven Reasoning

Abstractionism