Введение в теорию моделей и метаматематику алгебры
Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Publicerad: |
NCFU
|
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|