Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 13
Показаны документы с 1 по 10 |
|
1. | О1/ З437 / З-43-ПОМИ
Звонкин, Александр Калманович . Графы на поверхностях и их приложения [Текст] / А. К. Звонкин, С. К. Ландо. - М. : МЦНМО, 2010. - 480 с. - 1500 экз.. - ISBN 978-5-94057-588-7 : 100 р. Рубрики: математическая логика
Доп.точки доступа: Ландо, Сергей Константинович Найти похожие
|
2. | О1/ D23 / D23-ПОМИ
Dasgupta, Sanjoy . Algorithms [Text] / S. Dasgupta, C. Papadimitriou. - N. Y. : McGraw-Hill Higher Education, 2008. - 320 p. - ISBN 978-0-07-352340-8 : 200 р. Рубрики: математическая логика
Доп.точки доступа: Papadimitriou, Christos Найти похожие
|
3. | О1/ М342 / M39-ПОМИ
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 : 200 р. Рубрики: математическая логика
Найти похожие
|
4. | О1/ В77 / B77-ПОМИ
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 : 1000 р. Рубрики: математическая логика
Доп.точки доступа: Burgess, John P. Найти похожие
|
5. | О1/ W62 / W62-ПОМИ
What is Mathematical Logic? [Text] / J. N. Crossley, et al. - New York : Dover Publications, INC, 1990. - 82 p. - ISBN 0-486-26404-1 : 1000 р. Рубрики: математическая логика
Доп.точки доступа: Crossley, et al, John Найти похожие
|
6. | О1/ F44 / 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.). - 1000 р. Рубрики: математическая логика
Доп.точки доступа: Kacewicz, Boleslaw \.\ Найти похожие
|
7. | О1/ F85 / 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 : 1000 р. Рубрики: математическая логика
Найти похожие
|
8. | О1/ Н92 / H95-ПОМИ
Hutter, Marcus . Universal Artificial Intelligence [Text] / M. Hutter. - Berlin-Heidelberg : Springer, 2005. - 278 p. - ISBN 3-540-22139-5 : 1000 р. Рубрики: математическая логика
Найти похожие
|
9. | О1/ S45 / S45-ПОМИ
Self-Reference [Text] / T. Bolander. - Stanford, California : CSLI Publications, 2006. - 190 p. - (CSLI Lecture Notes ; 178). - ISBN 978-1-57586-516-4 : 1000 р. Рубрики: математическая логика
Доп.точки доступа: Bolander, Thomas \.\ Найти похожие
|
10. | O1/ K26 / 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 : 1000 р. Рубрики: математическая логика
Найти похожие
|
|
|