Расева Елена, Сикорский Роман, Математика метаматематики
Серия "Математическая логика и основания математики"

1972, изд-во: Издательство "Наука". Главная редакция физико-математической литературы, город: Москва, стр. : 592 с., обложка: Издательский переплет с суперобложкой, формат: Обычный, состояние: Очень хорошее - у книги, удовлетворительное - у суперобложки (надрывы и отсутствующие фрагменты). Метаматематика - раздел математической логики, изучающий основания математики и теорию доказательств при помощи построения символических языков (формальных систем, исчислений). Метаматематика изучает также формализованные математические теории, т. е. математические теории, построенные в виде символических языков, и вообще возможность построения различных разделов математики в виде символических языков. Кроме того, метаматематика изучает и сами символические языки. В предлагаемой вниманию читателей книге излагаются алгебраические и топологические методы, применяемые в метаматематике. Все необходимые сведения из алгебры и топологии излагаются в самой книге, в первой ее части. От читателей требуется только знание основных понятий теории множеств. Книга будет интересна специалистам по математической логике, а также тем математикам, которые желают ознакомиться с математическим аппаратом метаматематики