✦ LIBER ✦

A Decidable Class of Equations in Recursive Arithmeticby R. L. Goodstein; R. D. Lee

✍ Scribed by Review by: V. Vuckovic

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Decidable Fragment of Recursive Arithm

✍ Review by: V. Vuckovic 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 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

Models of Propositional Calculi in Recur

✍ Review by: Andrzej Mostowski 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 KB

A Decidable Fragment of Recursive Arithm

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

Recursive Number Theory. A Development o

✍ Review by: Th. Skolem 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 123 KB

A class of exact solutions of the dynami

✍ D. R. Owen; W. -L. Yin 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 303 KB