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