Formal logic: Classical problems and proofs

London, UK: College Publications (2019)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
ISBN(s)
1848903170
PhilPapers/Archive ID
AUGFLC
Upload history
First archival date: 2019-07-27
Latest version: 4 (2020-06-18)
View other versions
Added to PP index
2019-07-27

Total views
182 ( #23,558 of 51,189 )

Recent downloads (6 months)
63 ( #8,249 of 51,189 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.