Introduction to logic - Genesereth, Michael R., 1948-; Kao, Eric.; Morgan & Claypool Publishers ([San Rafael, Calif.] : Morgan & Claypool Publishers, 2013)
'This volume is a printed version of a work that appears in the Synthesis digital library of engineering and computer science'--P. [4] of cover.
Includes abstract.
Includes bibliographical references (p. 149).
Keywords: Logic