Библиотека ТУСУРа

Базы данных

- результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Найдено в других БД:

Основная база библиотеки (2)

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Клини, Стивен Коул$<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

51
К 493

    Клини, Стивен Коул.
    Математическая логика : Пер. англ. / С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц . - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480[2] с. : ил. - Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478. - ISBN 978-5-484-00802-5 : 215.05 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- математика -- высказывания -- предикаты -- вычислимость -- разрешимость
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц , Г. Е. \ред. пер.\
Клини, Стефан Коул

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (18), счз1 (2)
Постоянная гиперссылка

51
К 493

    Клини, Стефан Коул.
    Математическая логика : Пер. с англ. / С. К. Клини ; пер. Ю. А. Гастев, ред. пер. Г. Е. Минц. - М. : Мир, 1973. - 480 с. : ил., табл. - Библиогр.: с. 451-465. - Предм. указ.: с. 470-478. - (в пер.) : 2.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математика -- математическая логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц, Г. Е. \ред. пер.\
Клини, Стивен Коул

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

Статистика за 16.07.2024
Число запросов	71798
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)