Robert's book Nonstandard Analysis (Dover Publications) is where I learned nsa - it presents (slightly informally) Nelson's IST set theory, covers a selection of basic real analysis in a n-s way, then looks at some applications. You have to watch out for a few typos in the second half of the book, but it is short and easy to read. It won't teach you any model theory though.
|
1 | [made Community Wiki] | ||
|
|
||||
