![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=ТАКЕУТ$<.>) |
Загальна кількість знайдених документів : 1
|
| | Тип видання: підручник | | |
1. |
Такеути, Г. Теория доказательств [Електронний ресурс] : пер. с англ. / Г. Такеути. - М. : Мир, 1978. - 412 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
Кл.слова: математична логіка -- математичний аналіз
|
|
|