✦ LIBER ✦

Two theorems about the completeness of Hoare's logic

✍ Scribed by J.A. Bergstra; J.V. Tucker

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressiveness and the completeness of H

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Some questions about expressiveness and

✍ Mario Rodriguez Artalejo 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 996 KB

Extensions of Makinson's Completeness Th

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

Variants of Rescher's semantics for pref

✍ Dirk Dalen 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 865 KB

The road to two theorems of logic

✍ William Craig 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 125 KB

Two theorems about projective sets

✍ Alexander S. Kechris; Yiannis N. Moschovakis 📂 Article 📅 1972 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 338 KB