1 Table of Contents: “... assumptions from extra-logical axioms in natural deduction --...”

2 “... exercises on the relationship between natural language and formal proofs make the book also interesting to a...”