Arthur Norman Prior
(1914 – 1969)


تاربرگ‌های پیموده‌شده در این نشست: Computer graphics ⟩ Infinite-valued logic ⟩ Negative Free Logic ⟩ Semantic completeness ⟩ notion of existence ⟩ Stephen Cole Kleene