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

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

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

Поиск :

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

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

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

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


Электронный каталог: Poggiolesi, F. - Gentzen calculi for modal propositional logic

Poggiolesi, F. - Gentzen calculi for modal propositional logic

Доступно
 1 из 1
Книга
Автор: Poggiolesi, F.
Gentzen calculi for modal propositional logic
Серия: Trends in logic
Издательство: Springer, 2011 г.
ISBN 978-90-481-9667-8

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

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


Книга
51 P78

Poggiolesi, F.
Gentzen calculi for modal propositional logic / F. Poggiolesi. – Dordrecht [etc.]: Springer, 2011. – 222 с. – (Trends in logic; Vol.32). – На англ. яз. – ISBN 978-90-481-9667-8.

510.643

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

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



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