The Seventeen Provers of the World: Foreword by Dana S. Scott

Theorems And Lemmas In Mathematics

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Mathematician's Delight

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

The Joy Of X: A Guided Tour of Math, from One to Infinity

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Calculus: A Complete Introduction: The Easy Way to Learn Calculus

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

103 Trigonometry Problems: From the Training of the USA IMO Team

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Basic Math & Pre-Algebra For Dummies: Edition 2

The Oxford Handbook of Comparative Institutional Analysis

Ramanujan's Lost Notebook: Part I, Part 1

MathsWiz Book 5

Rings and Homology

Notebooks of Srinivasa Ramanujan: Volume II, Volume 2

A First Course in Linear Algebra: Study Guide for the Undergraduate Linear Algebra Course

Algebra I For Dummies: Edition 2