|
libcats.org
Конечно аксиоматизируемые теорииПеретятькин М.Г.Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота - Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Краткий физико-технический справочник. Общая механика, сопротивление материалов, теория механизмов и машинЯковлев К.П. (ред.)
6.29 Mb
#4
Наставление по борьбе за живучесть судов Министерства морского флота Союза ССР (НБЖС) РД 31.60.14-81Категория: Военная техника
15.10 Mb
#8
Espanol en vivo. Учебник современного испанского языка (с ключами)Нуждин Г.А., Эстремера К.М., Лора-Тамайо П.М.
24.23 Mb
|
|