Paul Richard Halmos
(1916 – 2006)


تاربرگ‌های پیموده‌شده در این نشست: Alan Turing ⟩ Payara ⟩ A⥽(B∨¬B) ⟩ A⥽(B⥽B) ⟩ unproven ⟩ affixing relevant logics