Поиск :
Личный кабинет :
Электронный каталог: Advances in Linear Logic
Advances in Linear Logic
Доступно
1 из 1
1 из 1
Книга
Автор:
Advances in Linear Logic
Серия: London Mathematical Society Lecture Note Series
Издательство: Cambridge Univ. Press, 1995 г.
ISBN 0-521-55961-8
Автор:
Advances in Linear Logic
Серия: London Mathematical Society Lecture Note Series
Издательство: Cambridge Univ. Press, 1995 г.
ISBN 0-521-55961-8
Заказать 
На полку
Книга
С14 A-22
Advances in Linear Logic / Ed.: J.-Y.Girard, Y.Lafont, L.Regnier. – Cambridge : Cambridge Univ. Press, 1995. – VIII, 390 p. : il. – (London Mathematical Society Lecture Note Series ; No.222). – URL: http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521559614. – Bibliogr.:ends of papers. – ISBN 0-521-55961-8.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = linear logic
Ключевых слов = categorical logic
Ключевых слов = semantic analysis
Ключевых слов = interaction nets
Ключевых слов = Hilbert space
С14 A-22
Advances in Linear Logic / Ed.: J.-Y.Girard, Y.Lafont, L.Regnier. – Cambridge : Cambridge Univ. Press, 1995. – VIII, 390 p. : il. – (London Mathematical Society Lecture Note Series ; No.222). – URL: http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521559614. – Bibliogr.:ends of papers. – ISBN 0-521-55961-8.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = linear logic
Ключевых слов = categorical logic
Ключевых слов = semantic analysis
Ключевых слов = interaction nets
Ключевых слов = Hilbert space
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |