论文信息 - The elimination theorem when modality is present - 字舞流文

The elimination theorem when modality is present

Haskell B. Curry | H. B. Curry

[1] Haskell B. Curry. On the Definition of Negation by a Fixed Proposition in Inferential Calculus , 1952, J. Symb. Log..