TY  - BOOK
AU  - Genesereth,Michael R.
AU  - Kao,Eric
ED  - Morgan & Claypool Publishers.
TI  - Introduction to logic
T2  - Synthesis lectures on computer science
SN  - 9781627052474
PY  - 2013///]
CY  - [San Rafael, Calif.]
PB  - Morgan & Claypool Publishers
KW  - Logic
N1  - '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)
ER  -