0

I am coming to the end of 'a logical introduction to proof' by Cunningham and was thinking of continuing with some foundational topics.

As such i think i may try the following:

  1. Set Theory: A First Course by Cunningham
  2. Mathematical Logic by Chiswell

Does anyone have any experience with these and are they decent?

Also,could someone offer their opinions regarding the following two books focused on the foundation of numbers?

  1. The Number Systems of Analysis by Little,Teo,Brunt.
  2. Number Systems And the foundations of analysis by Mendelson

It is difficult to find previews/pdf files for them. The second one seems more comprehensive but also feels a bit dated.

Thank you for any views in any case.

HalfAFoot
  • 363
  • Possible duplicate of https://math.stackexchange.com/questions/2829439/reference-for-the-construction-of-the-integers and https://math.stackexchange.com/questions/498656/real-analysis-rigourous-definition-of-real-numbers – lhf May 16 '19 at 18:58

1 Answers1

0

A very acccessible reference: Peterson, Theory of Arithmetic.

(Available at Archive.org)

Pantelis Sopasakis
  • 5,155