Информация о документе /vufind/Record/RUPSTUbooks38172

510
К619
Колчин А. Ф. Введение в математическую логику : учебное пособие для вузов / А. Ф. Колчин, С. А. Зыкова. - Москва: Станкин, 1998.

всего в библиотеке: 7 экз.
учебная библиотека ФПММ, ФХТПЭБ - 1 экз.
отдел абонементов (книгохранение) - 1 экз.
отдел абонементов (ауд. 176) - 3 экз.
учебная библиотека ГНФ, ГумФ, МТФ, СТФ - 2 экз.

Введение в математическую логику

учебное пособие для вузов

Москва : Станкин, 1998

Содерж.: Логика высказываний; Логика предикатов первого порядка

Шифр издания
510 К619
Главные авторы:
Вид издания:
учебное издание
Язык:
русский
Постоянный адрес этой страницы:
http://elib.pstu.ru/vufind/Record/RUPSTUbooks38172
Упрощённое библиографическое описание:
Колчин А. Ф. Введение в математическую логику : учебное пособие для вузов / А. Ф. Колчин, С. А. Зыкова. - Москва: Станкин, 1998.
Ссылка для рабочих программ:
Теги:
Добавить тег
Тегов пока нет, Ваш тег будет первым!