"Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost# i logika (Mir, 1994)(ru)(K)(T)(397s)_MAml_.djvu" - читать интересную книгу автора