Вернуться к Подробностям о статье A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics I‹α, β› Скачать Скачать PDF