Master expositor Paul Halmos presents Linear Algebra in the pure axiomatic spirit. He writes "My purpose in this book is to treat linear transformations on finite dimensional vector spaces by the methods of more general theories. The idea is to emphasize the simple geometric notions common to many parts of mathematics and its applications, and to do so in a language that gives away the trade secrets ...". This text is an ideal supplement to modern treatments of Linear Algebra. "The theory is systematically developed by the axiomatic method that has, since von Neumann, dominated the general approach to linear functional analysis and that achieves here a high degree of lucidity and clarity....The book contains about 350 well placed and instructive problems, which cover a considerable part of the subject. All in all this is an excellent work, of equally high value for both student and teacher." --Zentralblatt für Mathematik.

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a broad audience, students, teachers and amateurs in mathematics, philosophy, computer science, linguistics and engineering; they all have to get to grips with logic at some stage. All that is needed to understand the book is some basic acquaintance with algebra.

This book is an informal though systematic series of lectures on Boolean algebras. It contains background chapters on topology and continuous functions and includes hundreds of exercises as well as a solutions manual.