Formal logic: Classical problems and proofs

London, UK: College Publications (2019)
  Copy   BIBTEX


Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Author's Profile

Luis M. Augusto
Independent Scientist


Added to PP

788 (#18,739)

6 months
169 (#18,611)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?