forall x: Utrecht

forall x: Utrecht is a textbook on formal logic geared toward students of philosophy. It covers key notions of logic such as validity and consequence, the method of truth-table semantics and first-order interpretations, as well as Fitch-style natural deduction. It touches briefly on advanced topics such as soundness and completeness.