Willard Van Orman Quine

(1908 – 2000)


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