A Profile of Mathematical Logic

Readers need only an acquaintance with high school - level math to appreciate this text, which explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import.