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
45
Normal forms
46
Functional completeness
47
Proving equivalences
48
Soundness
Appendices
Metatheory
Part IX
Metatheory
45
Normal forms
46
Functional completeness
47
Proving equivalences
48
Soundness