"Logic for Computer Scientists (Modern Birkhäuser Classics)" - читать интересную книгу автора (Uwe Schöning)