Book of Donmon Teith

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple t

Much revised since its first appearance in 1941, Willard Van Orman Quine’s Elementary Logic, despite its brevity, is notable for its scope and rigor. It provi

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o

This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but a