ОГЛАВЛЕНИЕ

От издательства......................5

Предисловие Дж. Барвайса..................6

Предисловие редакторов русского перевода...........7

Введение.........................11

Глава 1. ВВЕДЕНИЕ В ЛОГИКУ ПЕРВОГО ПОРЯДКА. Дж. Барвайс 13

Глава 2. ОСНОВЫ ТЕОРИИ МОДЕЛЕЙ. X. Дж. Кейслер .... 55

Глава 3. ТЕОРИЯ УЛЬТРАПРОИЗВЕДЕНИЙ ДЛЯ АЛГЕБРАИСТОВ. П. Эклоф.................109

Глава 4. МОДЕЛЬНАЯ ПОЛНОТА. А. Макинтайр.......141

Глава 5. ОДНОРОДНЫЕ МНОЖЕСТВА. М. Морли.......183

Глава 6. ИНФИНИТЕЗИМАЛЬНЫЙ АНАЛИЗ КРИВЫХ И ПОВЕРХНОСТЕЙ. К.Д. Строян..............199

Глава 7. ДОПУСТИМЫЕ МНОЖЕСТВА И БЕСКОНЕЧНАЯ ЛОГИКА. М. Маккаи................235

Глава 8. ДОКТРИНЫ В КАТЕГОРНОЙ ЛОГИКЕ. А. Кок, Г.Э. Рейес 289

Дополнение. СПЕКТР И СТРУКТУРА МОДЕЛЕЙ ПОЛНЫХ ТЕОРИИ. Е.А. Палютин.........320

Предметный указатель...................388