Logic
Essays on Logic as the Art of Reasoning Well
The topic of this volume is the evaluation of reasoning about cause and effect, reasoning using conditionals, and reasoning that involves explanations. 
The topic of this volume is the nature and evaluation of reasoning in science and mathematics. Science and mathematics can both be understood as proceeding by a method of abstraction from experience. Mathematics is distinguished from other sciences only in its greater abstraction and its demand for necessity in its inferences. 
The question addressed in this volume is how we can justify our beliefs through reasoning. 
The topic of this volume is prescriptive reasoning: why to view prescriptions as true or false and how to reason with them; in what way a theory can be prescriptive; and how descriptions of rationality are prescriptive. 
This volume examines the metaphysical assumptions that are needed in order to develop formal systems.

Logic, Language, and the World
Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. 

Computability
The classic presentation of the theory of computable functions in the context of the foundations of mathematics. 
The acclaimed 18” x 28” (45.7 cm x 71.1 cm) poster now in a new edition. 
Semantic Foundations of Logic
This surveys and unifies the major systems of propositional logics, answering the question “If logic is the right way to reason, why are there so many logics?” It is the standard reference in the subject, as well as providing a clear and easy way to learn the subject from scratch. 
This presents the basic syntax and semantics of predicate logic motivated by attempting to formalize ordinary language reasoning. It is the only textbook that takes formalization as a serious motive for the subject and a serious constraint on the formalism. It make it clear why predicate logic is worth studying. It provides a basis for all predicate logics. 
This develops classical mathematical logic, viewing it as motivated by attempts to formalize mathematics. The scope and limitations of the formal system are explored: formalizations of theories of linear orders, arithmetic, groups, rings, fields, one and twodimensional Euclidean geometry, and secondorder logic are all presented. It is the only place to see axiomatic geometry formulated in firstorder logic where the syntax and semantics are clearly separated. 