John Stuart Mill considered his A System of Logic, first published in 1843, the methodological foundation and intellectual groundwork of his later works in ethi

A facsimile edition of Alan Turing's influential Princeton thesis Between inventing the concept of a universal computer in 1936 and breaking the German Enigma c

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on unive

The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning grad