Написал рецензию в тусовке литература
0
0 7 Октября Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября Ответить
Написал рецензию в тусовке
1
0 1 Ноября 2017 Ответить
Написал рецензию в тусовке литература
0
0 25 Июня 2017 Ответить
Написал рецензию в тусовке литература
0
0 24 Июня 2017 Ответить
Для быстрого поиска начните вводить запрос
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
от 10 246 руб.
Твердый переплет

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. ...

0.0
Ваша оценка 0.0 Отменить оценку
  • Год выхода
    2007
  • Издательства
    Elsevier Science
Персоны
Автор
Автор
Автор
Автор
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями