"Logic and Structure (Universitext)" - читать интересную книгу автора (Dirk van Dalen)