03043nam a2200373 i 4500 RU\SPSTU\books\133595 Ge_NSL 20170622152333.0 021018s1978 ru a z 001 zyrus u 19013582 19013582 PSBO PSBO rus eng 510.6 Такеути, Г. Теория доказательств / Г. Такеути; пер. с англ. С. К. Соболева; под ред. С. И. Адяна. Москва : Мир, 1978. 412 с. : ил. Доп. тит. л. на англ. яз. Книга посвящена одному из основных разделов математической логики—теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой. მათემატიკური ლოგიკა მტკიცების თეორია Соболев, С. К. მთარგმნელი Адян С. И. რედაქტორი udc BK 0 0 udc 0 0 teq teq techsacavi 2017-06-20 0 510.6 2017-287348 2017-06-20 00:00:00 ს-8397 2017-06-20 BK 141521 141520