books.google.com - Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be...http://books.google.com/books/about/Set_Theory_and_Logic.html?id=3-nrPB7BQKMC&utm_source=gb-gplus-shareSet Theory and Logic