Reference and Selective Reading

Use the module lessons first. You do not need to read the source books front-to-back. The reading guide maps clusters to local chunk locators and states how to check an edition before selecting exercises.

• MCS book index: proof methods, logical formulas, sets/functions, relations, induction and recursive data.
• Rosen book index: additional examples and exercise choices.
• Learning resources: source roles and primary-source extensions.
• Book exercise lanes: targeted volume after the independent core.

Book-level links open indexes, not exact sections. The local extracted files may contain OCR errors; compare unclear notation with the associated PDF. Definitions such as typed function equality and closure notation must match the conventions in Proof and Model Contracts.