Logic Press

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic.

An accessible introduction to philosophical logic, suitable for undergraduate courses and above.

Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been provided by the publication in the late 1950s of A. N. PRIOR'S pioneering book, Time and Modality (Oxford, The Clarendon Press, 1957). Virtually all work in the field to around 1966 is surveyed in PRIOR'S elegant treatise Past, Present and Future (Oxford, The Clarendon Press, 1967).

A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.