At present, our text is forall x: Calgary, a free and open source textbook.
Other things that look interesting are:
- Carnap is an online, introductory book with interactive exercises: the website checks your proofs.
- Logical Foundations is Volume 1 of Software foundations, an extremely comprehensive overview of the mathematical foundations of reliable software.
- How to prove It: A Structured Approach (by Daniel J.Velleman), hat tip to Iain.
We meet on Thursdays at noon, usually in Marian Rejewski.
Discussions occur on Slack in the hut23-logic-reading-group channel (formerly known as the linear algebra reading group).
| Date | Topic | Suggested exercises |
|---|---|---|
| 22 January | Introduction to logic (in Marian Rejewski) | |
| 29 January | ∀x: II. Truth-functional logic, §§ 4, 5, and 6 | §5: D.8, G.1, H.2, and I; §6: A.1, A.3, and B |
| 5 February | ∀x: 7 and 8 (from II); and 9, 10, and 11 (from III). | §11: A.2, A.5, B.1, C.3 |
| 12 February | ∀x: 12 and 13 (optionally 14 and 15) | 15: A.4, B.2, C.3, E.6, I.2 |
| 19 February | ∀x: 16 and 17 (Proofs) | 17: C.1, C.3, C.5, C.7, C.11 |
| 5 March | No session -- REG offsite | |
| 12 March | Proof-theoretic concepts ∀x: 20, 21, 22 | 20: A.1, A.2, A.3, A.4 |
| 19 March | Same reading as 12 March | 20: A.4 |
| 26 March | Chapters 23 and 24. | 24: A.1, A.3, A.7; C.1, C.5, C.6, C.8; D.4 |