Paul Richard Halmos
(1916 – 2006)


تاربرگ‌های پیموده‌شده در این نشست: Peano arithmetics ⟩ Principle of bivalence ⟩ Peter Schroeder-Heister ⟩ Posterior Analytics ⟩ Modal Axiom K ⟩ perceptron