abs8192: (Default)
abs8192 ([personal profile] abs8192) wrote2017-01-07 03:46 pm

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

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

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

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting