✦ LIBER ✦

A Semi-Decision Procedure for the Functional Calculusby Joyce Friedman;A Computer Program for a Solvable Case of the Decision Problemby Joyce Friedman

✍ Scribed by Review by: Frederic B. Fitch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Decision Procedure for Computations of

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

A Decision Procedure Based on the Resolu

✍ Review by: Joyce Friedman 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 86 KB