Discrete Structure, Logic and Computability, second edition provides a comprehensive introduction to the fundamental ideas underlying contemporary computer science. With a focus on the computation and construction of objects, the topics in this text have been carefully selected to give students a strong foundation in computer science. These topics are unified throughout the text to illustrate the relatinships between key ideas. Both formal and informal logic are given extensive coverage throughout the book, alongwith automatic reasoning and logic programming. Students are provided with the tools and techniques they need to gain self-reliance and confidence in their own problem-solving abilities.