Visit the Higher Education Gateway
Readership: Undergraduate students of logic, especially on philosophy courses but also mathematics and linguistics.
Volker Halbach, University of Oxford
1: Sets, Relations, and Arguments 2: Syntax and Semantics of Propositional Logic 3: Formalisation in Propositional Logic 4: The Syntax of Predicate Logic 5: The Semantics of Predicate Logic 6: Natural Deduction 7: Formalisation in Predicate Logic 8: Identity and Definite Descriptions Natural Deduction Rules
Logic Manual Website