Search MAA Reviews:
Logic and Boolean Algebra
Bradford Henry Arnold
Publisher: Dover Publications (2011)
Details: 144 pages, Paperback
Topics: Boolean Algebras, Logic
MAA Review[Reviewed by Allen Stenger, on 10/11/2012]
This book is primarily about Boolean algebras and Boolean rings. It starts out with a simple exposition of symbolic logic and proof methods, but this is not developed further and is primarily to provide a foundation for what follows. The book is an unaltered reprint of the 1962 Prentice-Hall work.
This is a brief introduction to the subject and is aimed at upper-division undergraduates. It has few prerequisites, but does assume familiarity with set theory and proofs. The approach is generally abstract, with abstract structures and operations being introduced, but then immediately illustrated with examples, especially from set theory. The book is well-supplied with a large number of problems, most of them fairly easy, but with some harder proof problems.
The terminology was a little unsettling. Lattices are defined in terms of supremum and infimum rather than meet and join (and the set theory union and intersection symbols are used rather than the up and down carets). Partially-ordered sets are named “ordered”, and there's no discussion of total ordering (which is not used in the book, but it would still be useful as a contrast to partial ordering).
Allen Stenger is a math hobbyist and retired software developer. He is webmaster and newsletter editor for the MAA Southwestern Section and is an editor of the Missouri Journal of Mathematical Sciences. His mathematical interests are number theory and classical analysis. He volunteers in his spare time at MathNerds.org, a math help site that fosters inquiry learning.