"Handbook of Philosophical Logic. Elements of Classical Logic" - читать интересную книгу автора (Dov M. Gabbay, F. Guenthner)