Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Сохранить в:
主要作者: | Робинсон А. |
---|---|
格式: | 图书 |
出版: |
NCFU
|
标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
相似书籍
-
Чарли Чаплин
由: Робинсон Д. -
Как стать переводчиком
由: Робинсон Д. -
Правовое регулирование природопользования и охраны окружающей среды в США
由: Робинсон Николас А. -
Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
由: Робинсон А. Н. -
Житие Аввакума и другие его сочинения
由: Робинсон А. Н.