✦ LIBER ✦

Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates

✍ Scribed by J. Surányi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A didactical approach to the zero-one de

✍ L. Borkowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 24 KB

The Decision Problem for a Class of Firs

✍ M. R. Krom 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 468 KB 👁 1 views