✦ LIBER ✦

On Algorithmic Reducibilityby V. A. Uspénskij

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Calculable Operationsby V. A. Uspénsk

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

On the Theorem on Uniform Continuityby V

✍ Review by: J. Onyszkiewicz 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 350 KB

On the Definition of an Algorithm.by A.

✍ Review by: Elliott Mendelson 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 103 KB

Some Notes on Recursively Enumerable Set

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

Theorem of Gödel and Theory of Algorithm

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

Systems of Enumerable Sets and Their Enu

✍ Review by: Andrzej Ehrenfeucht 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 85 KB