Introduction to Mathematical Logic by Elliott Mendelson I was sufficiently fortunate to have taken Professor Emeritus Mendelson's famous logic course at Queens College, the City University of New York, just two semesters before his retirement. I was, and continue to be, astonished by Dr. Mendelson's precise yet easy style, and the beautifully efficient organization of the subjects. Everything from the expository prose to the system of notational conventions has been carefully thought through so as to make the book both very substantive and very readable. In my opinion, it's the best introduction to serious mathematical logic currently on the market, and thanks to the genius of its author, it is likely to remain so for a long time. The buyer will not be disappointed. Amazon.com: Introduction to Mathematical Logic, Fourth Edition (9780412808302): E. Mendelson: Books 04128083077063817andeditionfourthintroductionlogicmathematicalmathematicsmendelsonproblemssciencespringersymbolic in Educational > Mathematics > Textbooks/Bookswith bookeducationeducationalelliottfoundationfoundationallogicmathmathematicsmendelsontextbooktextbooks Note: LTU lib has it (2nd edition): http://library.latrobe.edu.au/search/XIntroduction+to+Mathematical+Logic+Elliott+Mendelson&searchscope=1&SORT=A/XIntroduction+to+Mathematical+Logic+Elliott+Mendelson&searchscope=1&SORT=A&extended=0&SUBKEY=Introduction%20to%20Mathematical%20Logic%20Elliott%20Mendelson/1% ...more2C3%2C3%2CB/frameset&FF=XIntroduction+to+Mathematical+Logic+Elliott+Mendelson&SORT=A&1%2C1%2C