Algebraic Logic - Couverture rigide

Halmos, Paul Richard

 
9781258373627: Algebraic Logic

Synopsis

""Algebraic Logic"" by Paul Richard Halmos is a comprehensive book that explores the intersection of algebra and logic. The book covers a range of topics including Boolean algebras, lattice theory, first-order logic, and model theory. The author uses a rigorous and formal approach to explain the concepts, providing numerous examples and exercises to aid in understanding. The book is aimed at advanced undergraduate and graduate students in mathematics and computer science, as well as researchers and professionals in the field of logic. With its clear and concise writing style, ""Algebraic Logic"" is an essential resource for anyone interested in the study of algebraic logic.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.This scarce antiquarian book is a facsimile reprint of the old original and may contain some imperfections such as library marks and notations. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions, that are true to their original work.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Paul R. Halmos (1916 2006) was a prominent American mathematician who taught at the University of Chicago, the University of Michigan, and other colleges. His significant contributions to several areas of mathematics include the fields of mathematical logic, ergodic theory, functional analysis, and probability theory.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre