Warning: Irbis_Format(): @ed_reference: unexpected token THENFI at line 3, column 13, fmt source: '<!>' if p(v951) then /* if v951^T:'Повний текст у форматі PDF' and (&uf('IMAIN,show_ed,')='2' or (&uf('IMAIN,show_ed,')='1' and a(v2225)) ) then /* if v951^T:'Повний текст у форматі PDF' then /* '<br>' /* '<img src="/images/full_text.png">', /* 'Користувачі бібліотеки, можуть отримати повний текст статті відправивши запит на адресу elena@library.mk.ua<br>', /* fi, fi, '<!>' in C:\hosting\e-catalog.mk.ua\commands\srv.inc on line 313
Електронний каталог
Миколаївська обласна бібліотечна асоціація
Ресурси бібліотек міста Миколаєва

Фонд Центральної бібліотеки ім.М.Л. Кропивницького- результаты поиска

Головна - e-catalog.mk.ua

база даних містить 508049 бібліографічних записів

База даних

Науково-педагогічної бібліотеки
Центральної бібліотеки ім.М.Л. Кропивницького
Миколаївської обласної бібліотеки для дітей ім. В. Лягіна
Центральної бібліотеки для дітей ім. Ш. Кобера і В. Хоменко
Наукової бібліотеки МНУ ім. В. Сухомлинського
Миколаївської обласної бібліотеки для юнацтва
 		Вид пошуку: СтандартнийРозширений
Область пошуку
в найденном
Формат відображення документів:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Клини, С. К.$<.>)
Общее количество найденных документов : 1
1.
510.6(075)
К 49

    Клини, С. К.
    Математическая логика [Текст] : учебное пособие / С. К. Клини ; ред. Г. Е. Минц ; пер. с англ. Ю. А. Гастев. - М. : Мир, 1973. - 480 с. - 2.50 руб.
    Содержание:
Исчесление высказываний . - С .11
Исчесление предикатов . - С .93
Исчесление предикатов с равенством . - С .177
Основания математики . - С .206
Вычислимость и разрешимость . - С .270
Исчисление предикатов (дополнительные разделы) . - С .339
ГРНТИ
27
УДК
510.6(075)
ББК 22.12

Рубрики: Математична логіка,  Логіка,  Математика
Знайти подібні документи / URL: посилання на документ
Институт медленного и болезненного выяснения самых очевидных вещей