Includes Access To Student Companion Website. Updated To Align To The Latest 2013 ACM/IEEE Computer Science Curricula, Discrete Structures, Logic, And Computability, Fourth Edition Is Designed For The One- To Two-Term Discrete Mathematics Course. The Structure Of The Book Supports The Spiral Method Of Learning, By First Introducing Basic Information, Allowing Students To Work On The Problem, And Then Revisiting The Topic As New Information And Skills Are Established. This Method, Coupled With A Student-Friendly And Simplified Writing Style, Provides An Accessible Yet Comprehensive Level Of...