Paul Richard Halmos
(1916 – 2006)


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B) ⟩ Relevance logics ⟩ Pythagoreanism ⟩ Closure algebra ⟩ Graham Priest ⟩ On Certainty