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

Про нас

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

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

Базы данных

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

Вид поиска

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

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

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

Область поиска

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=теория доказательств<.>

Общее количество найденных документов : 5
Показаны документы с 1 по 5

Вид документа : Однотомное издание
Шифр издания : 343.13(477)(075.8/К 56-854156
Автор(ы) : Коваленко, Євген Георгійович
Заглавие : Теорія доказів у кримінальному процесі України : підручник для студ. вищ. юридич. навч. закл.
Выходные данные : К.: Юрінком Інтер, 2006
Колич.характеристики :632 с.: табл.
Примечания : Л-ра: с. 620-621. - Предм. покажч.: с. 622-623. - Ім. покажч.: с. 624-626
ISBN, Цена 966-667-207-3: 45.00 грн
УДК : 343.13(477)(075.8)
ББК : 67.9(4УКР)311я73
Предметные рубрики: Кримінальний процес-- Теорія доказів --Україна
Географич. рубрики:
Аннотация: Правові теоретичні питання і окремі аспекти практики використання доказів при розкритті й розслідуванні злочинів.
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/Г47
Автор(ы) : Гильберт, Давид, Бернайс, Пауль
Заглавие : Основания математики : теория доказательств
Параллельн. заглавия :Grundlagen der mathematik. II: D. Hilbert, P. Bernays
Выходные данные : М.: Наука, 1982
Колич.характеристики :652 с.: рис.
Серия: Математическая логика и основания математики
Примечания : Прил.: с. 457-646. - Алфав. указ.: с. 647-652
Цена : 3.40 р.
УДК : 51
ББК : 22.12
Предметные рубрики: Математика
фывфывфыв (''Своб.индексиров.''): математика--теорема эрбрана--теорема ербрана--геометрия--геометрія--математический анализ--математичний аналіз--теорема геделя--теорема геделя--гильбертовский подход--гільбертовський підхід--теорема черча--парадокс ришара--парадокс рішара--теория доказательств--теорія доказів--основания математики--основи математики
Аннотация: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике.
Экземпляры : всего : ЧЗ(1), ФОНД(1)
Свободны : ЧЗ(1), ФОНД(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6(075.8)/К60
Автор(ы) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Заглавие : Математическая логика. Дополнительные главы : учеб. пособие для студентов вузов, обучающихся по специальности "Математика"
Выходные данные : М.: Изд-во Моск. ун-та, 1984
Колич.характеристики :120 с
Примечания : Лит.: с. 119
Цена : 0.25 р.
УДК : 510.6(075.8)
ББК : 22.122я73
Предметные рубрики: Матемиатична логіка
Географич. рубрики:
Аннотация: В данном издании излагаются фундаментальные факты математической логики.
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)