✦ LIBER ✦

Remarks on the Comparison of Axiom Systemsby Hao Wang

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetic Translations of Axiom Systems

✍ Review by: Richard Montague 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 289 KB

Remarks on the Comparison of Axiom Syste

✍ Hao Wang 📂 Article 📅 1950 🏛 National Academy of Sciences 🌐 English ⚖ 223 KB

On Denumerable Bases of Formal Systemsby

✍ Review by: Clifford Spector 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 326 KB

Tag Systems and Lag Systemsby Hao Wang;U

✍ Review by: Ann Yasuhara 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 224 KB

REMARKS ON THE AXIOM OF CONTINUITY AND T

✍ Peter Jason Kalman 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 94 KB

Remark on the Axiom of Choice for Finite

✍ Review by: Azriel Lévy 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB