A Type Primer by Kane, John You will find that this textbook has a logical structure that makes studying easier.