Каталог печатных изданий библиотеки НИУ ВШЭ

👓
eng|rus
Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.

По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

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

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

  • Электронный каталог Мандельштамовского центра
  • Помощь

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


Электронный каталог: Ben-Ari, M. - Mathematical logic for computer science

Ben-Ari, M. - Mathematical logic for computer science

Доступно
 1 из 1
Книга
Автор: Ben-Ari, M.
Mathematical logic for computer science
Издательство: Springer, 2012 г.
ISBN 978-1-447-14128-0

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

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


Книга
51 B43

Ben-Ari, M.
Mathematical logic for computer science / M. Ben-Ari. – 3rd ed. – London: Springer, 2012. – 346 с. – На англ. яз. – ISBN 978-1-447-14128-0.

510.6

общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory

63687 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 B43



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