Электронный каталог
👓
eng
|
rus
Научно-техническая библиотека ОИЯИ
Режим работы с 9:00 до 18:00
Контактная информация тел.216-27-13
abonement@jinr.ru
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Книги в рубрике:
Рубрики
--> исчисление высказываний
Рубрика
Название:
исчисление высказываний
Печать списка
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Пухначев, Юрий Васильевич
Кн. 2: .
2016 г.
ISBN 978-5-397-05176-7
полный текст
Заказать
На полку
Доступно
1 из 1
Книга
Кн.2. : .
2007 г.
ISBN 5-484-00778-X
полный текст
Заказать
На полку
Доступно
1 из 1
Книга
Пухначев, Юрий Васильевич
Кн.2: Функциональные ряды. Линейные и метрические пространства. Аффинные преобразования и группы преобр...
Серия:
Науку - всем! Шедевры научно-популярной литературы (математика)
URSS, 2022 г.
ISBN 978-5-9710-8579-9
Заказать
На полку
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Серия:
Физико-математическое наследие: основания математики и логика
URSS, 2008 г.
ISBN 978-5-382-00626-0
полный текст
Заказать
На полку
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
полный текст
Заказать
На полку
Доступно
1 из 1
Книга
Гильберт, Давид
Основы теоретической логики
Серия:
Физико-математическое наследие: математика (основания математики и логика)
URSS, 2010 г.
ISBN 978-5-484-01144-5
полный текст
Заказать
На полку