Faithin Omaha eBook Collection

This new edition includes three new chapters, updating the book to take into account developments in the field over the past fifteen years.

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

Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capabl

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