Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Sábháilte in:
Príomhchruthaitheoir: | Робинсон А. |
---|---|
Formáid: | LEABHAR |
Foilsithe / Cruthaithe: |
NCFU
|
Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
-
Чарли Чаплин
de réir: Робинсон Д. -
Как стать переводчиком
de réir: Робинсон Д. -
Правовое регулирование природопользования и охраны окружающей среды в США
de réir: Робинсон Николас А. -
Литература Древней Руси в литературном процессе средневековья ХI-XIII вв.
de réir: Робинсон А. Н. -
Житие Аввакума и другие его сочинения
de réir: Робинсон А. Н.