My focus for my undergraduate studies was computer science, but I have been becoming more and more interested in studying formal logic on my own, and am looking for book recommendations to develop a better mastery of the subject.

My limited experience includes a introductory Symbolic Logic class and some work with the Prolog programming language.

So far in my research I have found the following resources:

Does anyone have any other essential texts for learning formal logic?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.