✦ LIBER ✦

Existence of simple propositional formulas

✍ Scribed by Hans Kleine Büning

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Classification of derivable propositiona

✍ A. S. Anikeev 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 407 KB

On meta complexity of propositional form

✍ Pavel Naumov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 213 KB

A hierarchy of propositional Horn formul

✍ Bogdan S. Chlebus 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 926 KB

A class of realizable propositional form

✍ F. L. Varpakhovskii 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 650 KB

The diagrams of formulas of the intuitio

✍ Anita Wasilewska 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 222 KB

On the recognition of the tautological n

✍ P. Yu. Suvorov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 405 KB