2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.
The author obtained his PhD from the University of Illinois at Urbana-Champaign. He worked for the Institute for Advanced Study, the University of Chicago, . . . He was recognized as a great analyst and mathematical expositor.
2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.
The author obtained his PhD from the University of Illinois at Urbana-Champaign. He worked for the Institute for Advanced Study, the University of Chicago, . . . He was recognized as a great analyst and mathematical expositor.
|
Ask a Question About this Product More... |
|
