Simple Type Theory

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be  in practice to express and reason about mathematical ideas.