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

John Stuart Mill (1806–73) was the most influential English philosopher of the nineteenth century. His vast intellectual output covered a range of subjects �

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

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many wor

Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concl