Schoening U. Logic for computer scientists / Uwe Schoening. - Boston [a. o.] : Birkhaeuser, 2001. - 166 p.: ill. - ( Progress in computer science and applied logic / ed. by John C. Cherniavsky [a. o.] ;Vol. 8: )