✦ LIBER ✦

A formalization of the propositional calculus of H-B logic

✍ Scribed by Cecylia Rauszer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of the modal proposition

✍ Anita Wasilewska 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 535 KB

A stipulation of logical truth in a moda

✍ Charles E. Caton 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 204 KB

Formalization of functionally complete p

✍ Czesław Lejewski 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 966 KB

On a fragment of the implicative proposi

✍ H. Rasiowa 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 68 KB

A Couple of Novelties in the Proposition

✍ C. A. R. Hóre 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB 👁 1 views

A contribution to the history of proposi

✍ A. Korcik 📂 Article 📅 1953 🏛 Springer Netherlands 🌐 English ⚖ 33 KB