He is noted for a number of expository books, viewed by many to be well written, including Naive Set Theory, Introduction to Hilbert Space and the Theory of Spectral Multiplicity, Lectures on Boolean Algebrass, and Finite-Dimensional Vector Spaces.
The use of "iff" to abbreviate "if and only if" is sometimes mistakenly credited to Halmos, however he has said that he borrowed this notation. The use of the "tombstone" notation to signify the end of a proof is also credited to him; the tombstone symbol ∎ is sometimes called a halmos.
This article is a stub. You can help Wikipedia by fixing it.