Goodreads helps you keep track of books you want to read.
Start by marking “Logic for Mathematicians” as Want to Read:
Logic for Mathematicians
With a prerequisite of a course in first year mathematics, the techniques and principal results of mathematical logic are introduced to undergraduate students and professional logicians and mathematicians.
Published January 1st 1989 by Cambridge University Press
(first published January 1st 1978)
To see what your friends thought of this book, please sign up.
I didn't find it well presented and it was hard to read at some parts. My professor only referred to the book for propositions, but felt he could explain the material better than A.G.Hamilton could... and he did... It's a good reference, but it could have been written better.