George Berkeley
(1685 – 1753)


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