"A compact but thorough introduction to first-order logic, focused on the construction of translations and derivations, but locating these within a broader theoretical framework. This book assumes no prior contact with, or enthusiasm for, formal logic. The aim has been to introduce the elements of first-order logic gradually, in small steps, as clearly as possible, written in a way that is congenial to students and instructors, who might feel uncomfortable in symbolic domains"--
Read More
"A compact but thorough introduction to first-order logic, focused on the construction of translations and derivations, but locating these within a broader theoretical framework. This book assumes no prior contact with, or enthusiasm for, formal logic. The aim has been to introduce the elements of first-order logic gradually, in small steps, as clearly as possible, written in a way that is congenial to students and instructors, who might feel uncomfortable in symbolic domains"--
Read Less