دانلود کتاب Algebraic Logic
by H. Andreka, J.D.Monk, I.Nemeti (eds.)
|
عنوان فارسی: منطق جبری |
دانلود کتاب
جزییات کتاب
The present volume is not restricted to papers presented at the conference. Instead, it is aimed at providing the reader with a relatively coherent reading on Algebraic Logic (AL), with an emphasis on current research. We could not cover the whole of AL, probably the most important omission being that the category theoretic versions of AL were treated only in their connections with Tarskian (or more traditional) AL. The present volume was prepared in collaboration with the editors of the Proceedings of Ames conference on AL (Springer Lecture Notes in Computer Science Vol. 425, 1990), and a volume of Studia Logica devoted to AL which was scheduled to go to press in the fall of 1990. Some of the papers originally submitted to the present volume appear in one of the latter.