Теория доказательств / Г. Такеути; пер. с англ. С. К. Соболева; под ред. С. И. Адяна.
Material type:
TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1978.Description: 412 с. : илSubject(s): Summary: Книга посвящена одному из основных разделов математической логики—теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი | 510.6 (Browse shelf(Opens below)) | ს-8397 | Available | 2017-287348 |
Browsing ეროვნული სამეცნიერო ბიბლიოთეკა 2 shelves, Shelving location: კორპ. 2, საცავი Close shelf browser (Hides shelf browser)
Доп. тит. л. на англ. яз.
Книга посвящена одному из основных разделов математической логики—теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
There are no comments on this title.