Электронный каталог библиотеки МИСИС

👓
eng|rus
Библиотека МИСИС
Режим работы:
Читальный зал Пн-Пт 10:00-18:00
Абонементы Пн-Чт 10:00-17:00,
Пт 10:00-16:00
Обед 12:00-13:00
В период каникул Вт, Чт 14:00-16:00
сайт: lib.misis.ru
e-mail: swt@ntb.misis.ru

Поиск :

  • Новые поступления
  • Расширенный поиск
  • Поиск одной строкой
  • Дискавери

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Публичные полки

  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин

  • Информация о фонде

  • · Журналы
  • · Электронная библиотека МИСИС
  • · Другие электронные учебники
  • · Все электронные ресурсы

  • Помощь

Личный кабинет :


Электронный каталог: Ершов, Ю. Л. - Математическая логика

Ершов, Ю. Л. - Математическая логика

Доступно
 1 из 1
Книга
Автор: Ершов, Ю. Л.
Математическая логика : Учеб. пособие
Издательство: Лань, 2004 г.
ISBN 5-8114-0533-2

Заказать Заказать

На полку На полку


Книга
I-3 Е-804

Ершов, Ю. Л.
Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин . – 3-е изд., стер . – СПб. : Лань, 2004 . – 336 с. - ISBN 5-8114-0533-2 : руб. 181.32 .

510.6(075.8)

Общий = Математика : логика

658468 01:Книгохранение



Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Книга (аналит. описание)

7. Алгоритмы и рекурсивные функции
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

6. Теория доказательств
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

5. Теория моделей
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

4. Исчисление предикатов
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

3. Истинность на алгебраических системах
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

2. Теория множеств
б.г.
ISBN отсутствует


На полку На полку


Книга (аналит. описание)

1. Исчисление высказываний
б.г.
ISBN отсутствует


На полку На полку


© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.167