Far more &ldquouser friendly" than the vast majority of similar books, this text is truly written with the &ldquobeginning" reader in mind. The pace is tight, the style is light, and the text emphasizes theorem proving throughout. The authors emphasize "Active Reading," a skill vital to success in learning how to think mathematically (and write clean, error-free programs).