Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 13
Показаны документы с 1 по 10 |
|
| 1. | О1/ З437 - ПОМИ
Звонкин, Александр Калманович .
Графы на поверхностях и их приложения [Текст] / А. К. Звонкин, С. К. Ландо. - М. : МЦНМО, 2010. - 480 с.. - 1500 экз.. - ISBN 978-5-94057-588-7.
Рубрики: математическая логика
Доп.точки доступа: Ландо, Сергей Константинович
Найти похожие
| |
| 2. | О1/ D23 - ПОМИ
Dasgupta, Sanjoy .
Algorithms [Text] / S. Dasgupta, C. Papadimitriou. - N. Y. : McGraw-Hill Higher Education, 2008. - 320 с.. - ISBN 978-0-07-352340-8.
Рубрики: математическая логика
Доп.точки доступа: Papadimitriou, Christos
Найти похожие
| |
| 3. | О1/ М342 - ПОМИ
Matiyasevitch, Yu. V.
Todekato проваhma toy Hilbert [Text] = Hilbert,s tenth problem / Yu. V. Matiyasevitch. - AOHNA/ Афины : Eupualos, 2022. - 244 с.. - ISBN 978-960-7104-07-6.
Рубрики: математическая логика
Найти похожие
| |
| 4. | О1/ В77 - ПОМИ
Boolos, George S. .
Computability and Logic [Text] / G. S. Boolos, J. P. Burgess. - 5th ed. - New York : Cambridge University Press, 2007. - 350 p.. - ISBN 978-0-521-70146-4.
Рубрики: математическая логика
Доп.точки доступа: Burgess, John P.
Найти похожие
| |
| 5. | О1/ W62 - ПОМИ
What is Mathematical Logic? [Text] / J. N. Crossley, et al. - New York : Dover Publications, INC, 1990. - 82 p.. - ISBN 0-486-26404-1.
Рубрики: математическая логика
Доп.точки доступа: Crossley, et al, John
Найти похожие
| |
| 6. | О1/ F44 - ПОМИ
Festschrift for the 60th Birhday of Henryk Wozniakowski [Text] / B. Kacewicz. - New York : Elsevier, 2007. - 961 p.. - (Journal of Complexity. ; Vol. 23, N 4-6 , 2007. Special Issue.)
Рубрики: математическая логика
Доп.точки доступа: Kacewicz, Boleslaw \.\
Найти похожие
| |
| 7. | О1/ F85 - ПОМИ
Fransen T., Torkel
Inexhaustibility: a non-exhaustive treatment [Text] / Torkel Fransen T. - Wellesley, Massachusetts : Association for Symbolic Logic, 2004. - 251 p.. - (Lecture Notes in Logic ; 16.). - ISBN 1- 56881-175-6.
Рубрики: математическая логика
Найти похожие
| |
| 8. | О1/ Н92 - ПОМИ
Hutter, Marcus .
Universal Artificial Intelligence [Text] / M. Hutter. - Berlin-Heidelberg : Springer, 2005. - 278 p.. - ISBN 3-540-22139-5.
Рубрики: математическая логика
Найти похожие
| |
| 9. | О1/ S45 - ПОМИ
Self-Reference [Text] / T. Bolander. - Stanford, California : CSLI Publications, 2006. - 190 p.. - (CSLI Lecture Notes ; 178). - ISBN 978-1-57586-516-4.
Рубрики: математическая логика
Доп.точки доступа: Bolander, Thomas \.\
Найти похожие
| |
| 10. | O1/ K26 - ПОМИ
Kaye, Richard .
The Mathematics of Logic. A guide to completeness theorems and their applications [Text] / R. Kaye. - Cambridge : Cambridge University Press, 2007. - 204 p.. - ISBN 978-0-521-70877-7.
Рубрики: математическая логика
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК