✦ LIBER ✦

An elementary proof of the completeness of PDL

✍ Scribed by Dexter Kozen; Rohit Parikh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An elementary proof of the prime ideal t

✍ Harold N. Shapiro 📂 Article 📅 1949 🏛 John Wiley and Sons 🌐 English ⚖ 401 KB

An elementary proof of some differential

✍ J Bebernes; G.H Meisters 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 331 KB

An elementary proof of the Adelson—Panje

✍ Werner Hürlimann 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 140 KB

On the completeness of modular proof sys

✍ S. Ramesh 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 627 KB

An elementary proof of double Greibach n

✍ Joost Engelfriet 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 193 KB

An elementary geometric proof of two the

✍ Sandro Buoncristiano; Derek Hacon 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 212 KB