Наткнулся на ссылки на бесплатные электронные версии некоторых достаточно известных (в узких кругах) книг по различным областям мат. логики, например, теории моделей, и теории вычислимости. Может пригодятся людям, серьезно интересующимся теоретической информатикой: free logic books:

* Shoenfield’s Recursion Theory,
* Lindström’s Aspects of Incompleteness in the LNL,
* Sack’s Higher Recursion Theory,
* Hájek and Pudlák’s Metamathematics of First-order Arithmetic,
* Shelah’s Proper and Improper Forcing,
* Barwise’s Admissible Sets and Structures,
* Barwise and Feferman’s Model-theoretic Logics