Электронный каталог
👓
eng
|
rus
Научно-техническая библиотека ОИЯИ
Режим работы с 9:00 до 18:00
Контактная информация тел.216-27-13
abonement@jinr.ru
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник серий издательств
К списку серий
Studies in Logic and Foundations of Mathematics
Издательства:
Elsevier Science, Amsterdam [etc.]
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Jacobs, B.
Categorical Logic and Type Theory
Серия:
Studies in Logic and Foundations of Mathematics
Elsevier Science, 2001 г.
ISBN 0-444-50853-8
полный текст
Заказать
На полку