Kazimierz Ajdukiewicz
(1890 – 1963)


تاربرگ‌های پیموده‌شده در این نشست: Tractatus Logico-Philosophicus ⟩ Leopold Löwenheim ⟩ Foundational theories ⟩ Kazimierz Kuratowski ⟩ Löwenheim-Skolem Theorem ⟩ Willard Van Orman Quine