forall x (UBC Edition)

This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus’s forallx. This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. It contains content, practice exercises, symbolic notations, and solutions to selected exercises. View Textbook