Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Rasiowa H. — An algebraic approach to non-classical logics
Rasiowa H. — An algebraic approach to non-classical logics

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: An algebraic approach to non-classical logics

Автор: Rasiowa H.

Аннотация:

The search for relationships between logic and algebra goes back to the investigations of Boole and his followers. Those investigations yielded what we now call Boolean algebra. The close links between classical logic and the theory of Boolean algebras has been known for a long time. One of the turning points in the algebraic study of logic was the introduction by Lindenbaum and Tarski of the method of treating formulas, or equivalence classes of formulas as elements of an abstract algebra. Another milestone was the treatment of formulas as algebraic functions in certain algebras.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1974

Количество страниц: 419

Добавлена в каталог: 26.05.2016

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте