Дата публикации: 2020

Дата публикации в реестре: 2020-10-28T14:09:39Z

Аннотация:

В пособии рассматриваются метатеоретические свойства логических систем: равнообъемность, непротиворечивость полнота. Приводятся доказательства метатеоретических свойств для системы со схемами аксиом (САР). Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.

Тип: Book

Права: metadata only access