Introduction to Logic
(2013) : Genesereth, Michal Kao, Eric
DOI: https://doi.org/10.2200/S00518ED2V01Y201306CSL006
#propositional_logic #proof #logic #relational_logic #text_book #induction #satisfiability #resolution #my_bibtex