Intuitionistic logic
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 72
ISBN: 9786130202651
Аннотация:
Intuitionistic logic, or constructivist logic, is the symbolic logic system originally developed by Arend Heyting to provide a formal basis for Brouwer's programme of intuitionism. The system preserves justification, rather than truth, across transf
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Intuitionistic logic" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |