✦ LIBER ✦

OTTER experiments in a system of combinatory logic

✍ Scribed by Thomas Jech

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structured logical design of information

✍ O. Barros; V. Pérez; A. Holgado 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 857 KB

Some generalizations to two systems of s

✍ Bunder, M. W. 📂 Article 📅 1987 🏛 Springer-Verlag ⚖ 314 KB

Failure experience of programmable logic

✍ Charles M. Mitchell; Kevin Williams 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Inference in a multivalued logic system

✍ Ronald R. Yager 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 797 KB

Programmable combinational logic trigger

✍ E.D. Platner; A. Etkin; K.J. Foley; J.H. Goldman; W.A. Love; T.W. Morris; S. Oza 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 305 KB

On the problem of deciding equality in p

✍ Giuseppa Longo 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 670 KB