✦ LIBER ✦

A Survey of Mathematical Logicby Hao Wang

✍ Scribed by Review by: Georg Kreisel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

The Mechanization of Mathematical Argume

✍ Review by: David C. Cooper 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 214 KB

A Theory of Constructive Typesby Hao Wan

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