رده‌ها book

A reduction in number of the postulates for C. I. Lewis' system of strict implication

(1934)

Participants:

گسترش‌ها
J. C. C. McKinsey
J. C. C. McKinsey
(1908 – 1953)


تاربرگ‌های پیموده‌شده در این نشست: The Compendious Book on Calculation by Completion and Balancing Edward John Lemmon A Completeness Theorem in Modal Logic