"Chen# Ch., Li R. Matematicheskaya logika i avtomaticheskoe dokazatel#stvo teorem (Nauka, 1983)(ru)(K)(T)(359s)_MAml_.djvu" - читать интересную книгу автора