✦ LIBER ✦

An Extended Procedure in Quantificational Logic

✍ Scribed by Robert Stanley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Extended Procedure in Quantificationa

✍ Review by: Wilhelm Ackermann 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 183 KB

The permutation principle in quantificat

✍ Kit Fine 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

The HOL logic extended with quantificati

✍ Thomas F. Melham 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 946 KB

An Extended Branching-Time Ockhamist Tem

✍ Mark Brown; Valentin Goranko 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 134 KB

An extended propositional logic for inco

✍ M. Giaquinta; G. Modica; J. Souček 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 German ⚖ 188 KB

An extended model for optimal burn-in pr

✍ Ji Hwan Cha 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 250 KB