✦ LIBER ✦

The Decidability of Hindley's Axioms for Strong Reduction

✍ Scribed by Bruce Lercher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axioms for Strong Reduction in Combinato

✍ Review by: Haskell B. Curry 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 366 KB

Axioms for Strong Reduction in Combinato

✍ Roger Hindley 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 900 KB

Strong Axioms of Infinity in NFU

✍ M. Randall Holmes 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 624 KB

Errata in "Strong Axioms of Infinity in

✍ M. Randall Holmes 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 75 KB

A Reduction in the Number of Independent

✍ Review by: Naoto Yonemitsu 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB

Strong Version of the Basic Deciding Alg

✍ A. L. Chistov 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 418 KB