Login / Signup

The Permutability of Rules in the Classical Inferential Calculus.

Haskell B. Curry
Published in: J. Symb. Log. (1952)
Keyphrases