dc.contributor.author | Такеути Г. | |
dc.date.accessioned | 2016-02-21T16:04:15Z | |
dc.date.available | 2016-02-21T16:04:15Z | |
dc.date.issued | 1978 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/32124 | |
dc.description.abstract | Книга посвящена одному из основных разделов математической логики - теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математическою анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой. | |
dc.language.iso | Russian | |
dc.publisher | | |
dc.subject | Математика\\Алгебра | |
dc.subject | Mathematics\\Algebra | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Теория доказательств | |
dc.type | other | |
dc.identifier.aich | P3JQ4FXUC6TAHDJVFQHL6ZEAAUWIANBV | |
dc.identifier.crc32 | 9F9C12F2 | |
dc.identifier.doi | | |
dc.identifier.edonkey | 5BECD15FFBB74268750C373046F18660 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 33854 | |
dc.identifier.md5 | 12B024FC9917393568947D5ECE955CA0 | |
dc.identifier.sha1 | 4FGEV3XLXSXBLTVSESQSFMM23AGNWTTF | |
dc.identifier.tth | O5PXPI7HCOWXFVUNYMCML5ZTAJEN6TBG66XZODY | |