✦ LIBER ✦

Truth in Applicative Theories

✍ Scribed by Reinhard Kahle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Totality in applicative theories

✍ Gerhard Jäger; Thomas Strahm 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

Remarks on applicative theories

✍ Andrea Cantini 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 321 KB

(hbox{sf N})-strictness in applicative t

✍ Reinhard Kahle 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 135 KB

Feasible Operations and Applicative Theo

✍ Andrea Cantini 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

The Suslin operator in applicative theor

✍ Gerhard Jäger; Dieter Probst 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 306 KB

Theories and Theories of Truth

✍ Ryan Christensen 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 173 KB