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

Базы данных


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

Вид поиска
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)
Имидж-каталог БАН
Рукописный фонд БАН
Фонд редкой книги БАН
Газетный фонд БАН
Подносные экземпляры из библиотеки Петра I
Рукописи старообрядцев-скрытников из Каргопольского собрания
Наука в СССР в годы Великой Отечественной войны 1941 - 1945 гг.
Русские биографические и биобиблиографические словари и справочники, 1956-2000 гг.
Санкт-Петербургские ведомости (1728 - 1781)
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) (2723)ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА) (6)Рукописный фонд БАН (2)ЭК отдела БАН при Главной (Пулковской) астрономической обсерватории РАН (ГАО) (5)ЭК сектора БАН при Институте прикладной астрономии РАН (ИПА) (5)ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) (98)ЭК отдела БАН при Зоологическом институте РАН (ЗИН) (1)ЭК сектора БАН при Институте цитологии РАН (ИНЦ) (3)ЭК отдела БАН при Институте физиологии им.И.П.Павлова РАН (ИФП) (6)ЭК сектора БАН при Институте геологии и геохронологии докембрия РАН (ИГГД) (2)ЭК отдела БАН при Институте озероведения РАН (ИНОЗ) (8)ЭК отдела БАН при Институте истории материальной культуры РАН (ИИМК) (3)ЭК отдела БАН при Музее антропологии и этнографии им. Петра Великого (Кунсткамера) РАН (МАЭ) (10)ЭК отдела БАН при Санкт-Петербургском Институте истории РАН (СПб ИИ) (1)ЭК отдела БАН при Институте лингвистических исследований РАН (ИЛИ) (15)ЭК сектора БАН при Институте проблем региональной экономики РАН (ИПРЭ) (3)ЭК сектора БАН при Социологическом институте РАН (СИРАН) (46)ЭК отдела БАН при Институте русской литературы РАН (Пушкинский Дом) (ИРЛИ) (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ЛОГИКА<.>)
Общее количество найденных документов : 21
Показаны документы с 1 по 10
 1-10    11-21   21-21 
1.
_____________________________________________________________
Алгебра и логика. Семинар [Текст] / АН СССР Сибирское отделение ; Институт математики. - Новосибирск : Ин-т математики СО АН ССР, 1962 -

Зарегистрированы поступления:
2013г. экз.1 (ПОМИ) Т.52 ; вып.1-3 ;
2012г. экз.1 (ПОМИ) Т.51 ; вып.1-6 ;
2011г. экз.1 (ПОМИ) Т.50 ; вып.1-6 ;
2010г. экз.1 (ПОМИ) Т.49 ; вып.1-6 ;
2009г. экз.1 (ПОМИ) Т.48 ; вып.1-6 ;
2008г. экз.1 (ПОМИ) Т.47 ; вып.1-6 ;
2007г. экз.1 (ПОМИ) Т.46 ; вып.1-6 ;
2006г. экз.1 (ПОМИ) Т.45 ; вып.1-6 ;
2005г. экз.1 (ПОМИ) Т.44 ; вып.1-6 ;
2004г. экз.1 (ПОМИ) Т.43 ; вып.1-6 ;
2003г. экз.1 (ПОМИ) Т.42 ; вып.1-2,4-6 ;
2002г. экз.1 (ПОМИ) Т.41 ; вып.1-3,5,6 ;
2001г. экз.1 (ПОМИ) Т.40 ; вып.1-6 ;
2000г. экз.1 (ПОМИ) Т.39 ; вып.1,3-6 ;
1999г. экз.1 (ПОМИ) Т.38 ; вып.1-3,5,6 ;
1998г. экз.1 (ПОМИ) Т.37 ; вып.1-6 ;
1997г. экз.1 (ПОМИ) Т.36 ; вып.1,2,4-6 ;
1996г. экз.1 (ПОМИ) Т.35 ; вып.2,3,5,6,1-3 5-6 ;
1995г. экз.1 (ПОМИ) Т.34 ; вып.1-6 ;
1994г. экз.1 (ПОМИ) Т.33 ; вып.5,6 ;
1993г. экз.1 (ПОМИ) Т.32 ; вып.1-6 ;
1992г. экз.1 (ПОМИ) Т.31 ; вып.1-6 ;
1991г. экз.1 (ПОМИ) Т.30 ; вып.1-6 ;
1990г. экз.1 (ПОМИ) Т.29 ; вып.1-6 ;
1989г. экз.1 (ПОМИ) Т.28 ; вып.1-6 ;
1988г. экз.1 (ПОМИ) Т.27 ; вып.1-6 ;
1987г. экз.1 (ПОМИ) Т.26 ; вып.1-6 ;
1986г. экз.1 (ПОМИ) Т.25 ; вып.1-6 ;
1985г. экз.1 (ПОМИ) Т.24 ; вып.1-6 ;
1984г. экз.1 (ПОМИ) Т.23 ; вып.1-6 ;
1983г. экз.1 (ПОМИ) Т.22 ; вып.1-6 ;
1982г. экз.1 (ПОМИ) Т.21 ; вып.1-6 ;
1981г. экз.1 (ПОМИ) Т.20 ; вып.1-6 ;
1980г. экз.1 (ПОМИ) Т.19 ; вып.1-6 ;
1979г. экз.1 (ПОМИ) Т.18 ; вып.1-6 ;
1978г. экз.1 (ПОМИ) Т.17 ; вып.1-6 ;
1977г. экз.1 (ПОМИ) Т.16 ; вып.1-6 ;
1976г. экз.1 (ПОМИ) Т.15 ; вып.1-6 ;
1975г. экз.1 (ПОМИ) Т.14 ; вып.1-6 ;
1974г. экз.1 (ПОМИ) Т.13 ; вып.1-6 ;
1973г. экз.1 (ПОМИ) Т.12 ; вып.1-6 ;
1972г. экз.1 (ПОМИ) Т.11 ; вып.1-6 ;
1971г. экз.1 (ПОМИ) Т.10 ; вып.1-6 ;
1970г. экз.1 (ПОМИ) Т.9 ; вып.1-6 ;
1969г. экз.1 (ПОМИ) Т.8 ; вып.1-6 ;
1968г. экз.1 (ПОМИ) Т.7 ; вып.1-6 ;
1967г. экз.1 (ПОМИ) Т.6 ; вып.1-6 ;
1966г. экз.1 (ПОМИ) Т.5 ; вып.1-6 ;
1965г. экз.1 (ПОМИ) Т.4 ; вып.1-6 ;
1964г. экз.1 (ПОМИ) Т.3 ; вып.1-6 ;
1963г. экз.1 (ПОМИ) Т.2 ; вып.1-6 ;
1962г. экз.1 (ПОМИ) Т.1 ; вып.1-6



Найти похожие
2.
_____________________________________________________________
The Bulletin of Symbolic Logic [Text] / The Association for Symbolic Logic. - Poughkeepsie, NY. : Cambridge Uniiversity Press, 1995 - . - ISSN 1079-8986

Зарегистрированы поступления:
2017г. экз.1 (ПОМИ) т.23 ; № 1,3



Найти похожие
3.
_____________________________________________________________
The Yournalof Symbolic Logic [Text] / The Association for Symbolic Logic. - Poughkeepsie, NY. : Cambridge Uniiversity Press, 1936 - . - ISSN 0022-4812

Зарегистрированы поступления:
2017г. экз.1 (ПОМИ) т.82 ; № 1,3



Найти похожие
4.
_____________________________________________________________


О1
 З437 		Звонкин, Александр Калманович .
ПОМИ
 Графы на поверхностях и их приложения [Текст] / А. К. Звонкин, С. К. Ландо. - М. : МЦНМО, 2010. - 480 с.. - 1500 экз.. - ISBN 978-5-94057-588-7.



Найти похожие
5.
_____________________________________________________________


О1
 D23 		Dasgupta, Sanjoy .
ПОМИ
 Algorithms [Text] / S. Dasgupta, C. Papadimitriou. - N. Y. : McGraw-Hill Higher Education, 2008. - 320 с.. - ISBN 978-0-07-352340-8.



Найти похожие
6.
_____________________________________________________________
Логические исследования [Текст] / РАН Ин-т философии. - М. : Наука, 1993 -

Зарегистрированы поступления:
2009г. экз.1 (ПОМИ) № В. 15 ;
2006г. экз.1 (ПОМИ) № В. 13 ;
2004г. экз.1 (ПОМИ) № В. 11 ;
2003г. экз.1 (ПОМИ) № В. 10 ;
2002г. экз.1 (ПОМИ) № В. 9 ;
2001г. экз.1 (ПОМИ) № В. 8 ;
2000г. экз.1 (ПОМИ) № В. 7 ;
1998г. экз.1 (ПОМИ) № В. 5 ;
1997г. экз.1 (ПОМИ) № В. 4. ;
1995г. экз.1 (ПОМИ) № В. 3 ;
1993г. экз.1 (ПОМИ) № В. 1-2



Найти похожие
7.
_____________________________________________________________


О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.



Найти похожие
8.
_____________________________________________________________


О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.



Найти похожие
9.
_____________________________________________________________


О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.



Найти похожие
10.
_____________________________________________________________


О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.)



Найти похожие
 1-10    11-21   21-21 
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю