Halmos, Paul R.

, United States