پل ریچارد هالموس
(1916 – 2006)
برابر انگلیک (انگلیسی): Paul Richard Halmos


تاربرگ‌های پیموده‌شده در این نشست: شماریک پئانو ⟩ واخته ⟩ آوین-نگریک ⟩ دستور پذیرفتنی ⟩ A⥽(B⥽B) ⟩ بنداشت جداسازی