Kazan Federal University Digital Repository

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

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account