✦ LIBER ✦

Set existence property for intuitionistic theories with dependent choice

✍ Scribed by Harvey M. Friedman; Andrej Ščedrov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the existence property for int

✍ L. M. Doorman 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

A general theory for elastic solids with

✍ Rocque Fernandes; Donald C. Stouffer 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 394 KB