Simple type theory : a practical logic for expressing and reasoning about mathematical ideas / William M. Farmer.
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first...
Full description
Saved in: