"Klini S. (_S.C.Kleene_) Vvedenie v metamatematiku (IL, 1957)(ru)(T)(524s).djvu" - читать интересную книгу автора