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 an introductory class on Symbolic Logic, as well as 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?