Mathematical Logic: A First Course

Today, many universities offer an advanced undergraduate-graduate course in mathematical logic. Such a course is normally taught by either the philosophy department or the mathematics department, but it usually attracts students from diverse fields and varying backgrounds. A typical class may contain students of mathematics, philosophy, linguistics, computer science, and engineering. Some of these students will eventually specialize in mathematical logic; others only want to relate the subject to problems in their own fields of interest. Some will be completely at ease with mathematical jargon; others will be unfamiliar with the notions of set theory or the concept of mathematical proof. This textbook attempts to meet the needs of such a course.