Поиск :
Личный кабинет :
Электронный каталог: Gabbay, D. M. - Quantification in nonclassical logic
Gabbay, D. M. - Quantification in nonclassical logic
Многотомник
Автор: Gabbay, D. M.
Quantification in nonclassical logic
Серия: Studies in logic and the foundations of mathematics
Издательство: Elsevier, 2009 г.
ISBN 978-0-444-52012-8
Автор: Gabbay, D. M.
Quantification in nonclassical logic
Серия: Studies in logic and the foundations of mathematics
Издательство: Elsevier, 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.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
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.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory