Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки]

Bibliographic Details
Main Author:	Кислов, Алексей Геннадьевич
Other Authors:	Ольховиков, Григорий Константинович, Уколов, Сергей Юрьевич
Format:	Book
Language:	Russian
Published:	Екатеринбург Изд-во Урал. ун-та 2012
Subjects:	учебные издания для вузов логика высказываний синтаксис логики высказываний семантика логики высказываний алгебра логики высказываний булевы алгебры нормальные формы (мат. логика) аксиоматика содержательная аксиоматика формальная исчисление высказываний аксиоматическое исчисление высказываний натуральное теоремы о полноте непротиворечивость исчисления высказываний
Online Access:	Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number:	510 К445
	Available Place a Hold

Similar Items