✦ LIBER ✦

Some Structure Results for Propositional Calculiby Ronald Harrop

✍ Scribed by Review by: Ann Yasuhara

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Results Regarding the Axiomatization of

✍ Review by: Ronald Harrop 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 233 KB

A Relativization Procedure for Propositi

✍ Review by: W. E. Singletary 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 340 KB

On the Existence of Finite Models and De

✍ Review by: H. Arnold Schmidt 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 132 KB

Some results concerning finite model sep

✍ Ronald Harrop 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 654 KB

Some Self-Dual Primitive Functions for P

✍ Review by: Robert McNaughton 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 110 KB

Some Results for Implicational Calculiby

✍ Review by: John Bacon 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB