Books in the Center for the Study of Language and Information Publication Lecture Notes series

A method of introducing students to the language of first-order logic. It helps students learn the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic.