✦ LIBER ✦

A Proof of ε-Theoremsby H. Rasiowa;On the ε-Theoremsby H. Rasiowa

✍ Scribed by Review by: Kurt Schütte

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof of the Completeness Theorem of G

✍ Review by: Solomon Feferman 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 KB

A Proof of the Skolem-Löwenheim Theorem.

✍ Review by: Solomon Feferman and Alfred Tarski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 305 KB

A Proof of Herbrand's Theoremby J. Łoś;

✍ Review by: Kurt Schütte 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 368 KB

On the Representation of Quasi-Boolean A

✍ Review by: H. Gericke 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 93 KB

On the Isomorphism of Lindenbaum Algebra

✍ Review by: Alfred Horn 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 102 KB

On Constructible Falsity in the Construc

✍ Review by: David Nelson 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB