Description

In pure mathematics we are interested in why a particular formula is true rather than when to apply it. Intuition and statistical evidence are insufficient justification, so we need to construct a formal logical proof. The purpose of this book is ...

Read more