This manuscript is a draft of a guided introduction to logic and its applications in philosophy. The focus will be...
proof theory & philosophy