✦ LIBER ✦

A Decidable Fragment of Recursive Arithmeticby R. L. Goodstein

✍ Scribed by Review by: V. Vuckovic

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Decidable Class of Equations in Recurs

✍ Review by: V. Vuckovic 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 334 KB

A Decidable Fragment of Recursive Arithm

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

Logic-free Formalisations of Recursive A

✍ Review by: Rózsa Péter 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 308 KB

Models of Propositional Calculi in Recur

✍ Review by: Andrzej Mostowski 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 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

The Recursive Irrationality of πby R. L.

✍ Review by: A. Nerode 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB