"What is a Logical System?" - читать интересную книгу автора (Dov M. Gabbay (Editor))