Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785509281761

Книга ISBN13 9785509281761 - Heyting algebra (Jesse Russell) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Heyting algebra
High Quality Content by WIKIPEDIA articles! In mathematics, a Heyting algebra, named after Arend Heyting, is a bounded lattice (with join and meet operations written ? and ? and with least element 0 and greatest element 1) equipped with a binary operation a>b of implication such that (a>b)?a ? b, and moreover a>b is the greatest such in the sense that if c?a ? b then c ? a>b. From a logical standpoint, A>B is by this definition the weakest proposition for which modus ponens, the inference rule A>B, A ? B, is sound. Equivalently a Heyting algebra is a residuated lattice whose monoid operation a•b is a?b; yet another definition is as a posetal cartesian closed category with all finite sums. Like Boolean algebras, Heyting algebras form a variety axiomatizable with finitely many equations. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным...
Авторы: Jesse Russell
Издательство: Книга по Требованию
Год: 2013
Местонахождение: OZON.ru
ISBN: 978-5-5092-8176-1


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.