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