A Course in Mathematical Logic for Mathematicians 2nd Edition, ISBN-13: 978-1441906144