✦ LIBER ✦

Construction of decidable singular theories of two successor functions with an extra predicate

✍ Scribed by L. P. Lisovik

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The theory of successor with an extra pr

✍ Wolfgang Thomas 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 734 KB

The construction of stationary two-dimen

✍ Charles M Newman 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 984 KB

An attempt to determine the absolute con

✍ Simon F. Seibert; Gabriele M. König; Elena Voloshina; Gerhard Raabe; Jörg Fleisc 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 151 KB