✦ LIBER ✦

Theorem of Gödel and Theory of Algorithms.by V. A. Uspénskij

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Definition of an Algorithm.by A.

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

Systems of Enumerable Sets and Their Enu

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

Combinatorial Complexes: A Mathematical

✍ Review by: Earl Glen Whitehead, Jr. 📂 Article 📅 1981 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 282 KB

A Topological Proof of the Theorem of Lö

✍ Review by: J. C. Shepherdson 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB

A General Theory of Optimal Algorithms.b

✍ Review by: Edward W. Packel 📂 Article 📅 1986 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 411 KB

A Note on Wittgenstein's "Notorious Para

✍ Juliet Floyd and Hilary Putnam 📂 Article 📅 2000 🏛 Journal of Philosophy, Inc. 🌐 English ⚖ 226 KB