В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
| Автор | Мендельсон Э. |
| Издательство | Наука |
| Год издания | 1984 |
| Объем (стр) | 320 |
| Переплет | Твердый |
| Состояние | Как новое |