With a prerequisite of a course in first year mathematics, the techniques and principal results of mathematical logic are introduced to undergraduate students and professional logicians and mathematicians.
"synopsis" may belong to another edition of this title.