Нумерология по дате рождения

Поиск книг

Название:
Автор:
Издатель:
Год издания:
ISBN:
The Reader (1856) by Ferdinand Heilbuth

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

Посмотреть в магазинах:

Другие сервисы поиска:

Findbook: искать

Книгу "Intuitionistic logic" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.


Оставьте свой отзыв о книге:

Ваше имя:
Отзыв (5 слов и более):
Проверочный код ():