Learning Path — Mathematical Logic & Computability
Suggested preparation for Mathematical Logic & Computability. Choose an entry point that fits your preparation.
Open any node directly. Marking a node familiar never locks, hides or removes links. No study progress is uploaded or stored.
Entry / bridge route · Additional preparation for research reading · All paths
Entry / bridge route
Proofs & Mathematical Writing
Read quantified statements; write direct, contrapositive, contradiction and induction arguments.
Book of Proof — Richard Hammack. Direct open PDF
Compare resources in this subject
Can skip if… / selective review
You can explain the quantifiers in a statement and write these forms of proof without relying on a worked solution.
Mathematical Logic & Computability
Use first-order syntax, semantics, quantifiers and proof systems.
forall x: Calgary — P. D. Magnus, Tim Button, Aaron Thomas-Bolduc and Richard Zach, with contributors. Open online text / archive
Compare resources in this subject
Can skip if… / selective review
You can distinguish validity from derivability and explain the relevant soundness and completeness statements.
Research reading: additional tools
Choose according to the particular text, not as an obligation to complete every foundation again.