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

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

Winner of the Scribes Book Award “Displays a level of intellectual honesty one rarely encounters these days...This is delightful stuff.” —Barton Swaim, Wa

This collection brings together a set of specially commissioned chapters from leading international researchers in the psychology of reasoning. Its purpose is t

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or diffe