"Основы теоретической логики" - читать интересную книгу автора (Гилберт Д., Аккерман В.)