رده‌ها 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)


تاربرگ‌های پیموده‌شده در این نشست: PL.FL.02 Sequent calculus subcontrary many-valued Modal Axiom T Hugh MacColl