Elements of Logic via Numbers and Sets /

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to...

Full description

Bibliographic Details

Main Author:	Johnson, D. L.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1998.
Series:	Springer undergraduate mathematics series.
Subjects:	Mathematics. Logic, Symbolic and mathematical. Number theory. Electronic books.
Online Access:	Connect to the full text of this electronic book