Baruch Spinoza
(1632 – 1677)


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