Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Kaydedildi:
Yazar: | Робинсон А. |
---|---|
Materyal Türü: | Kitap |
Baskı/Yayın Bilgisi: |
NCFU
|
Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
-
Чарли Чаплин
Yazar:: Робинсон Д. -
Как стать переводчиком
Yazar:: Робинсон Д. -
Правовое регулирование природопользования и охраны окружающей среды в США
Yazar:: Робинсон Николас А. -
Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
Yazar:: Робинсон А. Н. -
Житие Аввакума и другие его сочинения
Yazar:: Робинсон А. Н.