✦ LIBER ✦

On the Definition of Negation by a Fixed Proposition in Inferential Calculus

✍ Scribed by Haskell B. Curry

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The System LDby Haskell B. Curry;On the

✍ Review by: Paul Bernays 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB

On the Extension of the Intuitionist Pro

✍ Review by: J. G. Anderson 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 128 KB

A Note on the Paper "A Set of Axioms of

✍ Review by: A. N. Prior 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 329 KB

On the Polynomial Representation of Oper

✍ Review by: R. L. Graham 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 132 KB

A Dual Arithmetic Interpretation of the

✍ Review by: Alan Rose 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 213 KB

A Definition of Conjunction in the Pure

✍ Review by: M. D. Gladstone 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB