Naive set theory
by Halmos, Paul R., (Paul Richard)
fromUndergraduate texts in mathematics
Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer to that question. The purpose of the book is to tell the beginning student of advanced mathematics the basic …
Metamathematics of first-order arithmetic
Metamathematics of first-order arithmetic
Metamathematics of first-order arithmetic
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publicatio…
Developing Tennant's Natural Logicist account of the foundations of the natural, rational, and real numbers, this title uses this framework to distinguish the logical from the intuitive aspects of the basic elements of arithmetic.
