Logic for computer scientists - Schoning Uwe; Schoning Uwe (Boston Birkhauser, 1989)
Bibliography 155-160p.; Index 163-166p.