✦ LIBER ✦

On Denumerable Bases of Formal Systemsby Hao Wang

✍ Scribed by Review by: Clifford Spector

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

✍ Review by: Andrzej Mostowski 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB

The Formalization of Mathematicsby Hao W

✍ Review by: Gert H. Müller 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 496 KB

A Formal System of Logicby Hao Wang

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

Some Applications of Formalized Consiste

✍ Review by: G. Hasenjaeger 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 292 KB

Note on Rules of Inference.by Hao Wang

✍ Review by: Alonzo Church 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 84 KB