Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Опубликовано: |
NCFU
|
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Краткое описание: | Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления |
|---|