Since its publication in 1989, David Sanford's If P Then Q has become one of the most widely respected works in the field of conditionals. This new edition incl

A Spiral Workbook for Discrete Mathematics covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic

Math in Society is a survey of contemporary mathematical topics, appropriate for a college-level topics course for liberal arts major, or as a general quantitat

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a