Skip to content.
forall x: Calgary
Preface
I
Key notions of logic
II
Truth-functional logic
III
Truth tables
IV
Natural deduction for TFL
V
First-order logic
VI
Interpretations
VII
Natural deduction for FOL
VIII
Modal logic
IX
Metatheory
Appendices
A
Symbolic notation
B
Alternative proof systems
C
Quick reference
D
Notes on accessibility
Appendices
Appendices
A
Symbolic notation
B
Alternative proof systems
C
Quick reference
D
Notes on accessibility