✦ LIBER ✦

Truth Definitions and Consistency Proofsby Hao Wang

✍ Scribed by Review by: Richard Montague

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Applications of Formalized Consiste

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

Theory of (n) truth degrees of formulas

✍ GuoJun Wang; QiaoLin Duan 📂 Article 📅 2009 🏛 Science in China Press (SCP) 🌐 English ⚖ 362 KB

Short Definitions of the Ordinals

✍ Kenneth R. Brown and Hao Wang 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 445 KB

A Theorem on Definitions of the Zermelo-

✍ Hao Wang 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 502 KB

B THEOREM ON DEFINITIONS O F THE ZERMELO-NEUMANN ORDINALS'l) by HAO WANG in Cambridge, Mass. (USA)