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.
Reprint years
2019
ISBN(s)
1848903170   9781848903173
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
373 ( #18,719 of 65,755 )

Recent downloads (6 months)
60 ( #13,439 of 65,755 )

How can I increase my downloads?

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