✦ LIBER ✦

The completeness of functional logic

✍ Scribed by Peter Nickolas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The completeness problem in the algebra

✍ B. A. Romov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 770 KB

Completeness of logical functions on a s

✍ B. A. Romov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 678 KB

Functional completeness for subsystems o

✍ Heinrich Wansing 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 692 KB

The Completeness of Free Logic

✍ B. C. van Fraassen 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 972 KB

Completeness of algorithmic logic

✍ B. A. Trakhtenbrot 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 555 KB

Expressiveness and the completeness of H

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 984 KB