-
An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.Logical methodsThe MIT Press. 2023.
Taipei, Taiwan
Areas of Specialization
16 more
Areas of Interest
16 more
PhilPapers Editorships
| Revision Theory of Truth |
| Proof Theory |