I am having problem understanding first order predicate logic, rules of inferences, proof by natural deduction. From which I should read them for better understanding. Also if there any websites or lectures that are useful in this. Thanks
Asked
Active
Viewed 1,214 times
1
-
For a list of books, see : Teach Yourself Logic: A Study Guide. – Mauro ALLEGRANZA Oct 10 '19 at 14:07
1 Answers
1
As an introduction, I like Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems. Translation of a French book.

mathcounterexamples.net
- 70,018