Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=числення висловів<.>

Загальна кількість знайдених документів : 2
Показані документи с 1 за 2

Форма документа : Однотомне видання
Шифр видання : 510.6/Н73
Автор(и) : Новиков, Петр Сергеевич
Назва : Элементы математической логики . -2-е изд., испр.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1973
Кільк.характеристики :400 с
Серія: Математическая логика и основания математики
Примітки : Предм. указ.: с. 397-399
Ціна : 1.43 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6(075.8)/Е80
Автор(и) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Назва : Математическая логика : учеб. пособие для студентов мат. специальностей высш. учеб. заведений . -2-е изд., испр. и доп.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1987
Кільк.характеристики :236 с
Примітки : Предм. указ.: с. 335-336
Ціна : 0.95 р.
УДК : 510.6(075.8)
ББК : 22.122я73
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: В книге изложены основные классические исчисления математической логики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)