Logic for computer scientists - Schoning Uwe (Boston Birkhauser, 1989)
Keywords: Computer scientists; Mathematical logic