Introduction to logic (e-book)
Genesereth, Michael
Introduction to logic (e-book) - 3rd ed - San Rafael Morgan and Claypool / IEEE Press / Springer 2017 - Synthesis lectures on computer science .
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-62705-999-2
Logic
Herbrand's theorem (Number theory)
Logic, Symbolic and mathematical
Number Theory
Reasoning
Artificial Intelligence (AI)
Introduction to logic (e-book) - 3rd ed - San Rafael Morgan and Claypool / IEEE Press / Springer 2017 - Synthesis lectures on computer science .
IEEE Morgan and Claypool Computer and Information Science (CIS) collection
978-1-62705-999-2
Logic
Herbrand's theorem (Number theory)
Logic, Symbolic and mathematical
Number Theory
Reasoning
Artificial Intelligence (AI)