Gå direkte til innholdet
Proof Theory and Algebra in Logic
Spar

Proof Theory and Algebra in Logic

Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses.The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II.
Forfatter
Hiroakira Ono
Opplag
2019 ed.
ISBN
9789811379963
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
19.8.2019
Antall sider
160