Intermediate Logic
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 116
ISBN: 9786130750930
Аннотация:
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Intermediate Logic" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |