Far more "user friendly" than the vast majority of similar books, this text is truly written with the "beginning" 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).