A Type Primer, 2nd Edition by Kane, John

A nice touch in this textbook is the checklist of learning outcomes at the start.