Equiconsistency
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 104
ISBN: 9786132652263
Аннотация:
High Quality Content by WIKIPEDIA articles! In mathematical logic, two theories are equiconsistent if, roughly speaking, they are "as consistent as each other". It is not in general possible to prove the absolute consistency of a theory T. Instead we usu
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Equiconsistency" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |