Logic for computer scientists - Schoening, Uwe (Progress in computer science and applied logic / John C. Cherniavsky ;, 1994)