Ruth Barcan Marcus
(1921 – 2012)


تاربرگ‌های پیموده‌شده در این نشست: De Morgan duality ⟩ tautology ⟩ begging the question ⟩ The Mathematical Analysis of Logic ⟩ Heyting algebra ⟩ George Berkeley