Natural Deduction by Dag Prawitz (Dover Books on Mathematics)

An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a …