✦ LIBER ✦

A computational logic

✍ Scribed by Robert S. Boyer, J.Strother Moore

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computational Logic

✍ Nathan P. Levin 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 439 KB

Quantum Computational Logic

✍ S. Gudder 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 52 KB

A computational interpretation of truth

✍ R. J. R. Back 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 882 KB

Computational logic-based agents

✍ Francesca Toni; Jamal Bentahar 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 80 KB

A Companion to Philosophical Logic || A

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 102 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Computational Logic on Fock Space

✍ S. Gudder 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 99 KB