Springer make many logic books freely downloadable | Hacker News Reader