✦ LIBER ✦

A Free-Variable Theory of Primitive Recursive Arithmetic

✍ Scribed by Daniel G. Schwartz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Word Arithmetic: Theory of Primitive Wor

✍ H. A. Pogorzelski 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

On the Equivalence Between Logic-Free an

✍ Daniel G. Schwartz 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 523 KB

A Decidable Fragment of Recursive Arithm

✍ R. L. Goodstein 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

A Hierarchy of Primitive Recursive Funct

✍ J. P. Cleave 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 758 KB

A Decidable Class of Equations in Recurs

✍ R. L. Goodstein; R. D. Lee 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB 👁 1 views

Comparing Hierarchies of Primitive Recur

✍ E. Fachini; A. Maggiolo-Schettini 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 880 KB