Поиск :
Личный кабинет :
Электронный каталог: Ben-Ari, M. - Mathematical logic for computer science
Ben-Ari, M. - Mathematical logic for computer science
Доступно
1 из 1
1 из 1
Книга
Автор: Ben-Ari, M.
Mathematical logic for computer science
Издательство: Springer, 2012 г.
ISBN 978-1-447-14128-0
Автор: 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
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