✦ LIBER ✦

The Axiomatization of Arithmeticby Hao Wang

✍ Scribed by Review by: Roger Martin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Formalization of Mathematicsby Hao W

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

The Mechanization of Mathematical Argume

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

The Non-Finitizability of Impredicative

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

The Axiomatization of Arithmetic

✍ Hao Wang 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 406 KB

A Survey of Mathematical Logicby Hao Wan

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

Symbolic Representations of Calculating

✍ Review by: C. C. Elgot 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 126 KB