✦ LIBER ✦

Ideographic Computation in the Propositional Calculus

✍ Scribed by Gerald B. Standley

Book ID: 124954874
Publisher: Association for Symbolic Logic
Year: 1954
Tongue: English
Weight: 284 KB
Volume: 19
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2268613

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Symbolism for the Propositional Ca

A New Symbolism for the Propositional Calculusby William Tuthill Parry;Ideographic Computation in the Propositional Calculusby Gerald B. Standley

✍ Review by: Czesław Lejewski 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 193 KB

Space Complexity in Propositional Calcul

Space Complexity in Propositional Calculus

✍ Alekhnovich, Michael; Ben-Sasson, Eli; Razborov, Alexander A.; Wigderson, Avi 📂 Article 📅 2002 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 311 KB

Completeness of the Propositional Calcul

Completeness of the Propositional Calculus

✍ W. V. Quine 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 381 KB

Fragments of the Propositional Calculus

✍ Leon Henkin 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 878 KB

Tractability through symmetries in propo

Tractability through symmetries in propositional calculus

✍ Belaid Benhamou; Lakhdar Sais 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 861 KB

Ontological Remarks on the Propositional

Ontological Remarks on the Propositional Calculus

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 164 KB