Поиск :
Личный кабинет :
Электронный каталог: Gabbay, D. M. - .
Gabbay, D. M. - .
Доступно
1 из 1
1 из 1
Книга
Автор: Gabbay, D. M.
Quantification in nonclassical logic. Vol.1: .
2009 г.
ISBN 978-0-444-52012-8
Автор: Gabbay, D. M.
Quantification in nonclassical logic. Vol.1: .
2009 г.
ISBN 978-0-444-52012-8
Заказать 
На полку
Многотомник
Gabbay, D. M.
Quantification in nonclassical logic / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov. – Amsterdam [etc.]: Elsevier, 2009. – (Studies in logic and the foundations of mathematics; Vol.153). – На англ. яз. – ISBN 978-0-444-52012-8.
Книга
51 G11
Gabbay, D. M.
Vol.1 : . / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov. – 2009. – 615 с. – На англ. яз. – ISBN 978-0-444-52012-8.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
41185 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 G11
Gabbay, D. M.
Quantification in nonclassical logic / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov. – Amsterdam [etc.]: Elsevier, 2009. – (Studies in logic and the foundations of mathematics; Vol.153). – На англ. яз. – ISBN 978-0-444-52012-8.
Книга
51 G11
Gabbay, D. M.
Vol.1 : . / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov. – 2009. – 615 с. – На англ. яз. – ISBN 978-0-444-52012-8.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
41185 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 G11
Привязано к:
Многотомник
Gabbay, D. M.
Quantification in nonclassical logic
Elsevier, 2009 г.
ISBN 978-0-444-52012-8
Gabbay, D. M.
Quantification in nonclassical logic
Elsevier, 2009 г.
ISBN 978-0-444-52012-8