✦ LIBER ✦

Effectivity properties of intuitionistic set theory with collection scheme

✍ Scribed by A. G. Vladimirov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set existence property for intuitionisti

✍ Harvey M. Friedman; Andrej Ščedrov 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 658 KB

The consistency of some intuitionistic a

✍ V. H. Hahanyan 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 765 KB

Least-squares weighting schemes for diff

✍ Grant, D. F. ;Killean, R. C. G. ;Lawrence, J. L. 📂 Article 📅 1969 🏛 International Union of Crystallography ⚖ 304 KB

On a Collection of Classes in Ackermann'

✍ Klaus Gloede 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 306 KB 👁 1 views

Properties of convex sets with applicati

✍ G. Stefani; P. Zecca 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 783 KB

Differential scheme for the effective el

✍ Pingjun Li; Qizhi Wang; Shaofang Shi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 630 KB