Определимость и вычислимость
Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами....
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Publicado: |
NCFU
|
| Метки: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|