✦ LIBER ✦

The Non-Finitizability of Impredicative Principlesby Hao Wang

✍ Scribed by Review by: J. Barkley Rosser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Non-Finitizability of Impredicative

✍ Hao Wang 📂 Article 📅 1950 🏛 National Academy of Sciences 🌐 English ⚖ 238 KB

The irreducibility of impredicative prin

✍ Hao Wang 📂 Article 📅 1952 🏛 Springer 🌐 English ⚖ 903 KB

The Axiomatization of Arithmeticby Hao W

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

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 Categoricity Question of Certain Gra

✍ Review by: Václav E. Beneš 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB