Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
में बचाया:
मुख्य लेखक: | Робинсон А. |
---|---|
स्वरूप: | पुस्तक |
प्रकाशित: |
NCFU
|
टैग : |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
समान संसाधन
-
Чарли Чаплин
द्वारा: Робинсон Д. -
Как стать переводчиком
द्वारा: Робинсон Д. -
Правовое регулирование природопользования и охраны окружающей среды в США
द्वारा: Робинсон Николас А. -
Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
द्वारा: Робинсон А. Н. -
Житие Аввакума и другие его сочинения
द्वारा: Робинсон А. Н.