Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Поисковый запрос: (<.>K=исчисление предикатов<.>)
Общее количество найденных документов : 1
 1..1 
1.
В12я54
И88

   
    Исследования по конструктивной математике и математической логике. I [Текст] : сборник работ / Под ред. А. О. Слисенко. - М. : Вычислительный центр АН СССР, 1967. - 218 с. - (Записки научных семинаров Ленинградского отделения Математического ин-та им. В. А. Стеклова АН СССР(ЛОМИ). Т.4). - 10.00 р.
ББК В12я54
Рубрики: логика
   основания математики
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- исчисление предикатов -- конструктивный анализ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
 1..1