✦ LIBER ✦

The decidability of mechanical theories

✍ Scribed by G. P. Dishkant

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Decidability of ∀*∀-Sentences in Members

✍ Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 1007 KB

Decidability of elementary theories of l

✍ B. Bassgalan 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 614 KB

Decidability of extended theories of add

✍ A. A. Ivanov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 236 KB

Decidable theories of preordered fields

✍ Alexander Prestel 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 677 KB

Comparing First Order Theories of Module

✍ Saverio Cittadini; Carlo Toffalori 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 249 KB