𝔖 Bobbio Scriptorium
✦   LIBER   ✦

From Hilbert’s program to a logic tool box

✍ Scribed by J. A. Makowsky


Book ID
106343091
Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
441 KB
Volume
53
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A program to teach logic
✍ Nelson, Jack ;Moor, James 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 87 KB
Adding a Timing Light to the “Tool Box”
✍ Stephen L. DesJardins; Brian P. McCall; Dennis A. Ahlburg; Melinda J. Moye 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 137 KB