✦ LIBER ✦

A Theory of Constructive Typesby Hao Wang

✍ Scribed by Review by: Steven Orey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Theory of Element and Numberby Hao

✍ Review by: J. Barkley Rosser 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 237 KB

A Survey of Mathematical Logicby Hao Wan

✍ Review by: Georg Kreisel 📂 Article 📅 1966 🏛 Duke University Press 🌐 English ⚖ 137 KB

A Survey of Mathematical Logicby Hao Wan

✍ Review by: Steven Orey 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

A Survey of Mathematical Logicby Hao Wan

✍ Review by: Steven Orey 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB

A survey of Mathematical logicby Hao Wan

✍ Review by: Steven Orey 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 296 KB

A Formal System of Logicby Hao Wang

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