Introduction to logic /
Michael Genesereth and Eric Kao.
- Second edition.
- xi, 151 pages : illustrations ; 24 cm.
- Synthesis lectures on computer science ; #6. .
'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.