forall x: Calgary. An Introduction to Formal Logic
P. D. Magnus & Tim Button & Rob Trueman & Richard Zach
Language: English
Fitch Logic first-order logic natural deduction predicate logic propositional logic truth-functional logic
Publisher: Open Logic Project
Published: Sep 1, 2025
Description:
An open access introductory textbook in formal logic