Два классических учебника матлогики

[abs8192]

Computability and Logic 5ed (boolos_g_s_burgess_j_p_jeffrey_r_c_computability_and_logic.pdf)
http://www.twirpx.com/file/1619649/

Mendelson, Introduction into Math. Logic
http://www.aazea.com/book/introduction-to-mathematical-logic-sixth-edition/#download

На последнем сайте вообще залежи американских учебников (пиратских, видимо) из всех областей науки. Хороший сайт, полезный.