Normal view
MARC view
Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки] А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. Б. Н. Ельцина ; [Ин-т соц. и полит. наук]
Material type: TextPublication details: Екатеринбург Изд-во Урал. ун-та 2012Description: 112, [2] с. илISBN: 9785799607739Subject(s): учебные издания для вузов | логика высказываний | синтаксис логики высказываний | семантика логики высказываний | алгебра логики высказываний | булевы алгебры | нормальные формы (мат. логика) | аксиоматика содержательная | аксиоматика формальная | исчисление высказываний аксиоматическое | исчисление высказываний натуральное | теоремы о полноте | непротиворечивость исчисления высказыванийItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается по месту хранения | Научная библиотека ТГУ Читальный зал 5 | 510 К445 (Browse shelf(Opens below)) | Available | 13820000851328 |
Библиогр.: с. 114
There are no comments on this title.
Log in to your account to post a comment.