Oxford University Press
(1586 – present)


تاربرگ‌های پیموده‌شده در این نشست: Downward Löwenheim-Skolem Theorem ⟩ Jean Buridan ⟩ Ring ⟩ Alfred Tarski ⟩ Wilhelm Ackermann ⟩ natural numbers