Books in foundations of mathematical logic

logic reference-request

The reading list/study guide linked at http://www.logicmatters.net/students/tyl/ is only half done yet [reminder to self to get on with it!] but might contain one or two helpful suggestions.


You might like the book "Foundations of Mathematics" by William S. Hatcher.


You might be interested in van Heijenoort's From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931.

On a different line, I recommend Dauben's biography of Cantor, and his more recent Battle for Cantorian Set Theory.


Introduction to Mathematical Thinking is a very good book in my opinion. It is even more effective when you read it along with the courseware of the course by the same name.

Related

Create a number by multi by $2$ and divide by $3$ (integer part)
Why we wonder to know all derivations of an algebra?
Calculate Fourier series of $f(x)=x^2$ , $x \in \ [-\pi,\pi]$
Derivative of the Riemann zeta function for $Re(s)>0$.
Proving that product of two Cauchy sequences is Cauchy
Separated schemes and unicity of extension
Infinite algebraic extension of $\mathbb{Q}$
Context-sensitive grammar for the copy language
What is the equation of an ellipse that is not aligned with the axis?
basic differential forms
A domain is not opening from certain networks, traceroute stops in between
How do I check I copied a bunch of files and folders correctly from an MTP device?