Поиск :
Личный кабинет :
Электронный каталог: Blackburn, P. - Modal logic
Blackburn, P. - Modal logic
Доступно
1 из 1
1 из 1
Книга
Автор: Blackburn, P.
Modal logic
Серия: Cambridge tracts in theoretical computer science
Издательство: Cambridge University Press, 2010 г.
ISBN 978-0-521-52714-9
Автор: Blackburn, P.
Modal logic
Серия: Cambridge tracts in theoretical computer science
Издательство: Cambridge University Press, 2010 г.
ISBN 978-0-521-52714-9
Книга
51 B64
Blackburn, P.
Modal logic / P. Blackburn, M. de Rijke, Y. Venema. – Cambridge [etc.]: Cambridge University Press, 2010. – 554 с. – (Cambridge tracts in theoretical computer science; 53) . – На англ. яз. - ISBN 978-0-521-52714-9.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : дискретная математика, комбинаторика [519.1], графы = discrete mathematics, combinatory analysis. Graph theory [519.17]
общий = Математика = mathematics : философские проблемы математики = philosophical issues in mathematics [510.2:1]
72615 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 B64
51 B64
Blackburn, P.
Modal logic / P. Blackburn, M. de Rijke, Y. Venema. – Cambridge [etc.]: Cambridge University Press, 2010. – 554 с. – (Cambridge tracts in theoretical computer science; 53) . – На англ. яз. - ISBN 978-0-521-52714-9.
51
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Математика = mathematics : дискретная математика, комбинаторика [519.1], графы = discrete mathematics, combinatory analysis. Graph theory [519.17]
общий = Математика = mathematics : философские проблемы математики = philosophical issues in mathematics [510.2:1]
72615 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 B64