1975, изд-во: Наука, город: М., стр. : 528 с., обложка: Твердый издательский переплет, формат: Обычный, состояние: Очень хорошее, без супера. Книга знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств.
Цена: 300 руб.
#15566103, код: кра36093