INITIAL REVIEWI bought this book together with the similarly titled, longer text by Mordechai Ben-Ari. Link to that book: Mathematical Logic for Computer Science This older 1989 and 170pg reprinted text by Uwe Schoning is essentially the core of the ...