-
A companion text for lectures on first-order logic and its elementary metatheory (used in Intermediate Logic at Northern Illinois University).Modeling Deductive Inference: A Historico-Philosophical Introduction to First-Order LogicNorthern Illinois University. 2025.
DeKalb, Illinois, United States of America
Areas of Specialization
| Metaphysics |
| Modality |
| Logic and Philosophy of Logic |
| Philosophy of Computing and Information |
| Philosophy of Economics |