Булос Дж., Джеффри Р., Вычислимость и логика.
Пер. с англ.

1994, изд-во: Мир, город: Москва, стр. : 396 с., ил., обложка: Издательский твердый переплет, формат: Обычный, состояние: Очень хорошее (незначительная потертость уголков, блок в отличном состоянии). Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Геделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями. Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.