Поиск :
Личный кабинет :
Электронный каталог: Jacobs, B. - Categorical Logic and Type Theory
Jacobs, B. - Categorical Logic and Type Theory
Доступно
1 из 1
1 из 1
Книга
Автор: Jacobs, B.
Categorical Logic and Type Theory
Серия: Studies in Logic and Foundations of Mathematics
Издательство: Elsevier Science, 2001 г.
ISBN 0-444-50853-8
Автор: Jacobs, B.
Categorical Logic and Type Theory
Серия: Studies in Logic and Foundations of Mathematics
Издательство: Elsevier Science, 2001 г.
ISBN 0-444-50853-8
Заказать 
На полку
Книга
С14 J-13
Jacobs, B.
Categorical Logic and Type Theory / B.Jacobs. – Amsterdam [etc.] : Elsevier Science, 2001. – XVII, 760 p. : il. – (Studies in Logic and Foundations of Mathematics ; Vol.141). – URL: http://www.elsevier.com/wps/find/bookdescription.cws_home/601539/description#description. – Bibliogr.: p.717-733. – ISBN 0-444-50853-8.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = categorical logic
Ключевых слов = fibred category theory
Ключевых слов = polymorphic type theory
С14 J-13
Jacobs, B.
Categorical Logic and Type Theory / B.Jacobs. – Amsterdam [etc.] : Elsevier Science, 2001. – XVII, 760 p. : il. – (Studies in Logic and Foundations of Mathematics ; Vol.141). – URL: http://www.elsevier.com/wps/find/bookdescription.cws_home/601539/description#description. – Bibliogr.: p.717-733. – ISBN 0-444-50853-8.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = categorical logic
Ключевых слов = fibred category theory
Ключевых слов = polymorphic type theory
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |