books.google.co.uk - A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students....http://books.google.co.uk/books/about/A_Mathematical_Introduction_to_Logic.html?id=dVncCl_EtUkC&q=two-place+predicate+symbol&utm_source=gb-gplus-shareA Mathematical Introduction to Logic
