✦ LIBER ✦

Logic-free Formalisations of Recursive Arithmeticby R. L. Goodstein

✍ Scribed by Review by: Rózsa Péter

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

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

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

Recursive Number Theory. A Development o

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

Recursive Analysisby R. L. Goodstein

✍ Review by: James R. Guard 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 139 KB

Can the Logic of Indirect Discourse be F

✍ Review by: S. Kanger 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 349 KB