Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ) - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) (365)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 10
 1-10    11-13 
1.

О1/ З437 - ПОМИ
Звонкин А.К. Графы на поверхностях и их приложения/А. К. Звонкин, С. К. Ландо. - 2010
2.

О1/ D23 - ПОМИ
Dasgupta S. Algorithms/S. Dasgupta, C. Papadimitriou. - 2008
3.

О1/ М342 - ПОМИ
Matiyasevitch Yu. V. Todekato проваhma toy Hilbert/Yu. V. Matiyasevitch. - 2022
4.

О1/ В77 - ПОМИ
Boolos G. S. Computability and Logic/G. S. Boolos, J. P. Burgess. - 2007
5.

О1/ W62 - ПОМИ
What is Mathematical Logic?/J. N. Crossley, et al. - 1990
6.

О1/ F44 - ПОМИ
Festschrift for the 60th Birhday of Henryk Wozniakowski/ B. Kacewicz. - 2007
7.

О1/ F85 - ПОМИ
Fransen T. Torkel Inexhaustibility: a non-exhaustive treatment/Torkel Fransen T.. - 2004
8.

О1/ Н92 - ПОМИ
Hutter M. Universal Artificial Intelligence/M. Hutter. - 2005
9.

О1/ S45 - ПОМИ
Self-Reference/ T. Bolander. - 2006
10.

O1/ K26 - ПОМИ
Kaye R. The Mathematics of Logic. A guide to completeness theorems and their applications/R. Kaye. - 2007
 1-10    11-13