✦ LIBER ✦

A Computational Logic.by Robert S. Boyer; J. Strother Moore

✍ Scribed by Review by: Carolyn Talcott

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

R.S. Boyer, J. Strother Moore,Editors, ,

✍ Ronald W. Bulterman 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 116 KB

A computational logic handbook : R.S. Bo

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 97 KB

A computational logic

✍ Robert S. Boyer, J.Strother Moore 📂 Library 📅 1979 🏛 Academic Press 🌐 English ⚖ 2 MB

Proving Theorems about LISP Functions

✍ Boyer, Robert S.; Moore, J. Strother 📂 Article 📅 1975 🏛 Association for Computing Machinery 🌐 English ⚖ 838 KB

Proving Theorems about LISP Functions

✍ Boyer, Robert S.; Moore, J. Strother 📂 Article 📅 1975 🏛 Association for Computing Machinery 🌐 English ⚖ 838 KB

Writings of Charles S. Peirce: A Chronol

✍ Review by: Joseph W. Dauben 📂 Article 📅 1986 🏛 University of Chicago Press 🌐 English ⚖ 608 KB