Logic for computer scientists - Schoning, Uwe. (Cambridge : Birkhauser, 1987)
Includes index
Keywords: LOGIC-MATHEMATICS