Springer make many logic books freely downloadable

Springer have made very many mathematics and philosophy books more than ten years old freely downloadable. Logicians at various levels may in interested, for example, in the following:

Van Dalen, Logic and Structure (4th edn)
Monk, Mathematical Logic
Manin, A Course in Mathematical Logic
Andrews, An Introduction to Mathematical Logic and Type Theory
Fitting & Mendelsohn, First-Order Modal Logic
Poizat, Model Theory
Marker, Model Theory
Marcia & Toffalori, A Guide to Classical and Modern Model Theory
Schütte, Proof Theory
Hendricks et al, eds., Proof Theory: History and Philosophical Significance
Halmos, Naive Set Theory
Moschovakis, Notes on Set Theory (1st edn)
Devlin, The Joy of Sets
Jech, Set Theory
Kechris, Classical Descriptive Set Theory
Kanamori, The Higher Infinite
Hermes, Enumerability, Decidability, Computability
Bridges, Computability
Mac Lane, Categories for the Working Mathematician
Mac Lane & Moerdijk, Sheaves in Geometry and Logic

Well, that slightly random 20 is enough to start with — though for fun, let me also mention Aigner & Ziegler, Proofs from THE BOOK. Try searching Springer Link for many more. (Of course, depending on your university’s library policy, you may already have had access via Springer Link to these and newer books: but the free access to older books now, or at least for the moment, appears to be universally available.)

If anyone knows whether this is a new long-term policy at Springer, or is a more short-lived Christmas treat, do please let us know in the comments! For a start, I don’t want to spend time updating the TYL Guide with some of these links if the access is temporary.