Введение в метаматематику

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Имя одного из крупнейших современных специалистов в области математической логики С.К.Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной.

Содержание

Примеры страниц

-Опубликовано группой

Author(s): Клини С.К.
Year: 1957

Language: Russian
Commentary: +OCR
Pages: 527