✦ LIBER ✦

The Mechanization of Mathematical Argumentsby Hao Wang

✍ Scribed by Review by: David C. Cooper

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Mechanical Mathematics and Inferential A

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

The Axiomatization of Arithmeticby Hao W

✍ Review by: Roger Martin 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 129 KB