✦ LIBER ✦

Hilbert's Program Revisited

✍ Scribed by Panu Raatikainen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hilbert's nullstellensatz revisited

✍ W.A. MacCaull 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 600 KB

Partial Realizations of Hilbert's Progra

✍ Stephen G. Simpson 📂 Article 📅 1988 🏛 Association for Symbolic Logic 🌐 English ⚖ 335 KB

Hilbert's Program.by M. Detlefsen

✍ Review by: Hartley Slater 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB

From Boltzmann to Euler: Hilbert’s 6th p

✍ Slemrod, M. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 195 KB

The Hilbert basis theorem revisited

✍ David N. Yetter 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 484 KB

From Hilbert’s program to a logic tool b

✍ J. A. Makowsky 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 441 KB