✦ LIBER ✦

Models for the substitution axiom of UNITY logic

✍ Scribed by Georg Reichwein; JoséLuiz Fiadeiro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Eliminating the substitution axiom from

✍ Beverly A. Sanders 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 874 KB

An axiom system for the modular logic

✍ Jerzy Kotas 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 882 KB

The Axiom of Choice and Combinatory Logi

✍ Andrea Cantini 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 367 KB

On the unity of logic

✍ Jean-Yves Gigard 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1023 KB

Combinatory logic and the axiom of choic

✍ Henk Barendregt 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 849 KB

The Logical Aspect of Religious Unity

✍ Gregory D. Walcott 📂 Article 📅 1911 🏛 The University of Chicago Press ⚖ 925 KB