Лекции по математической логике Учебное пособие для студентов математических специальностей вузов

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов

Bibliographic Details
Main Author: Мощенский, Владимир Андреевич
Format: Book
Language:Russian
Published: Минск Издательство БГУ им. В. И. Ленина 1973
Subjects:
учебные пособия для вузов.
логика высказываний
логические операции (мат. логика)
тавтологии (мат. логика)
исчисление высказываний (мат. логика).
предикаты (математическая логика).
предикатные формулы (математическая логика).
алгоритмы.
Тьюринга машины
формулы пропозициональные (мат. логика)
математическая логика.
Online Access:Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number: 1-148901к
1-150370
Available  Place a Hold
Available  Place a Hold

Научная библиотека ТГУ: Абонемент. Депозитарий

Holdings details from Научная библиотека ТГУ: Абонемент. Депозитарий
Call Number: 51 М876
Available  Place a Hold

Similar Items