✦ LIBER ✦

A Calculus of Substitutions for DPL

✍ Scribed by C. Vermeulen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Thoughts at the funeral of a friend's fa

✍ Kathy Pope 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 34 KB

Effect of chemical agents on a calculus

✍ Louis I. Grossman 📂 Article 📅 1954 🏛 Elsevier Science 🌐 English ⚖ 267 KB

The Substitutional Calculus of Alfred Yo

✍ AITKEN, A. C. 📂 Article 📅 1949 🏛 Nature Publishing Group 🌐 English ⚖ 125 KB

Propositional logic for topology-like ma

✍ Thomas M. Leschine 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

A Formalised Proof of the Soundness and

✍ Catarina Coquand 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 422 KB

A group in the substitutive algebra of t

✍ Karl Menger 📂 Article 📅 1962 🏛 Springer 🌐 English ⚖ 368 KB