Introduction to logic - Genesereth, M; Kao, E (Springer Nature, 2022)
3rd edn