Computability Logic
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 72
ISBN: 9786130821357
Аннотация:
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. In this
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Computability Logic" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |