Электронный каталог МАУК "МИБС" г. Кемерово
МАУК «Муниципальная информационно-библиотечная система»
650056, г. Кемерово, пр. Ленина, 135
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Информация о фонде
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный читательский билет
Электронный читательский билет
Предъявите этот штрих-код вместо читательского билета
xxx
Электронный каталог: Книги в рубрике:
Рубрики
--> Теория доказательств
Рубрика
Название:
Теория доказательств
Печать списка
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
4 из 4
Книга
Ершов, Юрий Леонидович
Математическая логика: учебное пособие для вузов
Наука, 1987 г.
ISBN отсутствует
Заказать
На полку
Доступно
1 из 1
Книга
Философия и логика: Философия в современном мире
Серия:
Академия наук СССР. Институт философии
Наука, 1974 г.
ISBN отсутствует
Заказать
На полку
Доступно
2 из 2
Книга
Ч. 4: Теория доказательств и конструктивная математика
Наука, 1983 г.
ISBN отсутствует
Заказать
На полку