P.D. Magnus, Tim Button

An open access introductory textbook in formal logic