✦ LIBER ✦

Definability and Decision Problems in Arithmeticby Julia Robinson

✍ Scribed by Review by: Th. Skolem

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Existential Definability in Arithmeticby

✍ Review by: Wilhelm Ackermann 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 318 KB

Diophantine Decision Problems.by Julia R

✍ Review by: H. B. Enderton 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 124 KB

The Decision Problem for Exponential Dio

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 356 KB

Some Problems of Definability in the Low

✍ Review by: W. Peremans 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 91 KB

Some Theorems on Definability and Decida

✍ Review by: Julia Robinson 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 195 KB

On the Decision Problem for Algebraic Ri

✍ Review by: V. H. Dyson 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB