Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
保存先:
第一著者: | Робинсон А. |
---|---|
フォーマット: | 図書 |
出版事項: |
NCFU
|
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
-
Чарли Чаплин
著者:: Робинсон Д. -
Как стать переводчиком
著者:: Робинсон Д. -
Правовое регулирование природопользования и охраны окружающей среды в США
著者:: Робинсон Николас А. -
Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
著者:: Робинсон А. Н. -
Житие Аввакума и другие его сочинения
著者:: Робинсон А. Н.