Provides an original analysis of negation - a central concept of logic - and how to define its meaning in proof-theoretic semantics.

Susan Haack brings her distinctive work in theory of knowledge and philosophy of science to bear on real-life legal issues.

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

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathemat

According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "per