the Journal of Symbolic Logic
(1936)


تاربرگ‌های پیموده‌شده در این نشست: IBM ⟩ antisymmetric ⟩ Positive Free Logic ⟩ Propositional modal logic ⟩ tableau ⟩ Proof theorists