Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

This modern introduction to the foundations of logic and mathematics takes into account not only theory, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography, transportation networks). A first college-level introduction to logic, proofs, sets, number theory, and graph theory for undergraduates in mathematics, computer science, and computer information systems. Also serves as an excellent self-study reference and resource for instructors.