Scan barcode
188 pages • first pub 1998 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
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 ...
Community Reviews
Content Warnings
188 pages • first pub 1998 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
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 ...
Community Reviews
Content Warnings