Barland, IanKolaitis, PhokionVardi, MosheFelleisen, MatthiasGreiner, John2022-05-032022-05-032010-06-11Barland, Ian, Kolaitis, Phokion, Vardi, Moshe, et al.. "Intro to Logic." (2010) Rice University: <a href="https://hdl.handle.net/1911/112211">https://hdl.handle.net/1911/112211</a>.https://hdl.handle.net/1911/112211An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).142 ppengThis work is licensed under a Creative Commons Attribution License (BY 1.0)Science and Technologyboolean algebrafirst order logicinference ruleinterpretationlogicmodelproofpropositionpropositional logicquantifiertruth tablecol10154-FINALInstructional and educational works