Метатеоретические свойства логических систем: учебно-методическое пособие

Сафонов Александр Сергеевич

dc.contributor	Казанский федеральный университет
dc.contributor.author	Сафонов Александр Сергеевич
dc.date.accessioned	2020-10-26T07:58:09Z
dc.date.available	2020-10-26T07:58:09Z
dc.date.issued	2020
dc.identifier.citation	Сафонов А. С. Метатеоретические свойства логических систем: учебно-методическое пособие / Сафонов А. С. - Казань: Изд-во Казан. ун-та, 2020. -19 c.
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/159519
dc.description.abstract	В пособии рассматриваются метатеоретические свойства логических систем: равнообъемность, непротиворечивость полнота. Приводятся доказательства метатеоретических свойств для системы со схемами аксиом (САР). Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.
dc.language.iso	ru
dc.rights	только для КФУ
dc.subject	Логика
dc.subject	Логические системы
dc.subject	логика высказываний
dc.subject	Исчисление высказываний
dc.title	Метатеоретические свойства логических систем: учебно-методическое пособие
dc.type	Book
dc.contributor.org	Институт социально-философских наук и массовых коммуникаций
dc.description.pages	19
dc.pub-id	239938