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.