✦ LIBER ✦

On the Consistency of Some Logical Calculiby P. S. Novikov

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Consistency of Certain Logical Ca

✍ Review by: Alonzo Church 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 523 KB

On the Axiom of Complete Inductionby P.

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

On Algorithmic Unsolvability of the Word

✍ Review by: William W. Boone 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 385 KB

Proof of S. P. Novikov's conjecture on t

✍ I. A. Dynnikov 📂 Article 📅 1993 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 496 KB

Maximum useful number of inputs to the e

✍ S. V. Novikov; V. P. Suprun 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 485 KB

PRELIMINARY NOTES ON SOME GEOMORPHO-LOGI

✍ J. I. S. Zonneveld 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 166 KB