New corrected printing of a well-established text on logic at the introductory level.

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out

Originally published in 1938. This compact treatise is a complete treatment of Aristotle’s logic as containing negative terms. It begins with defining Aristot

This book is about scientific theories of a particular kind - theories of mathematical physics. Examples of such theories are classical and relativis tic partic

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.