ポール・ハルモス
1978 (with V. S. Sunder). Bounded Integral Operators on L2 Spaces. Springer Verlag.
1985. I Want to Be a Mathematician. Springer-Verlag.
1987. I Have a Photographic Memory. Mathematical Association of America.
1991. Problems for Mathematicians, Young and Old, Dolciani Mathematical Expositions, Mathematical Association of America.
1996. Linear Algebra Problem Book, Dolciani Mathematical Expositions, Mathematical Association of America.
1998 (with Steven Givant). Logic as Algebra, Dolciani Mathematical Expositions No. 21, Mathematical Association of America.
2009 (posthumous, with Steven Givant). Introduction to Boolean Algebras, Springer.
↑ Ziemer, William P.; Wheeler, William H.; Moolgavkar; Halmos, Paul R.; Ewing, John H.; Gustafson, William H. (1976). “American mathematics from 1940 to the day before yesterday”. Amer. Math. Monthly 83: 503–516. http://www.maa.org/programs/maa-awards/writing-awards/american-mathematics-from-1940-to-the-day-before-yesterday.
↑ Halmos 1985, p. 69.
↑ Halmos 1985, p. 403.
↑ Halmos, Paul (1950). Measure Theory. New York: Van Nostrand. pp. vi. "The symbol ∎ is used throughout the entire book in place of such phrases as "Q.E.D." or "This completes the proof of the theorem" to signal the end of a proof."
↑ "The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics.