✦ LIBER ✦

Range and degree of realizability of formulas in the restricted predicate calculus

✍ Scribed by Yu. V. Glebskii; D. I. Kogan; M. I. Liogon'kii; V. A. Talanov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability of the homogeneous formul

✍ August Pieczkowski 📂 Article 📅 1968 🏛 Springer Netherlands 🌐 English ⚖ 333 KB

Restriction of term complexity in deriva

✍ N. K. Zamov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 468 KB

Mechanical theorem proving in a certain

✍ Ewa Orłowska 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

Realizability and finite validity of pro

✍ D. P. Skvortsov 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 569 KB

Algorithm and computer experiment for se

✍ F. V. Anufriev; V. M. Kostyakov; A. I. Malashonok 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 524 KB

A probabilistic machine for the estimati

✍ S. C. van Westrhenen 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB