Поиск :
Личный кабинет :
Электронный каталог: Rodgers, N. - Learning to Reason
Rodgers, N. - Learning to Reason
Доступно
1 из 1
1 из 1
Книга
Автор: Rodgers, N.
Learning to Reason : An Introduction to Logic, Sets, and Relations
Издательство: John Wiley & Sons, Inc., 2000 г.
ISBN 0-471-37122-X
Автор: Rodgers, N.
Learning to Reason : An Introduction to Logic, Sets, and Relations
Издательство: John Wiley & Sons, Inc., 2000 г.
ISBN 0-471-37122-X
Заказать 
На полку
Книга
С171 R-69
Rodgers, N.
Learning to Reason : An Introduction to Logic, Sets, and Relations / N.Rodgers. – New York [etc.] : John Wiley & Sons, Inc., 2000. – XV, 437 p. : il. – Bibliogr.: p. 430-431. – ISBN 0-471-37122-X.
С171 + С14
Индексный (книги) = С 171 - Математическая кибернетика
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = logic
Ключевых слов = proof theory
Ключевых слов = set theory
Ключевых слов = symbolic language
С171 R-69
Rodgers, N.
Learning to Reason : An Introduction to Logic, Sets, and Relations / N.Rodgers. – New York [etc.] : John Wiley & Sons, Inc., 2000. – XV, 437 p. : il. – Bibliogr.: p. 430-431. – ISBN 0-471-37122-X.
С171 + С14
Индексный (книги) = С 171 - Математическая кибернетика
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = logic
Ключевых слов = proof theory
Ключевых слов = set theory
Ключевых слов = symbolic language
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 0 | 1 | 1 | 1 | Заказать |