✦ LIBER ✦

An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates

✍ Scribed by David Pager

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Emendation of the Axiom System of Hil

✍ Review by: Theodore Hailperin 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

Range and degree of realizability of for

✍ Yu. V. Glebskii; D. I. Kogan; M. I. Liogon'kii; V. A. Talanov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 934 KB

On the Independence of Hilbert and Acker

✍ Review by: Paul Bernays 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 298 KB

Errata: Two Autonomous Axiom Systems for

📂 Article 📅 1955 🏛 Oxford University Press 🌐 English ⚖ 140 KB

A single axiom for a partial system of t

✍ Alan Rose 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

Two Autonomous Axiom Systems for the Cal

✍ Review by: John G. Kemeny 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 194 KB