Кузнецов С. Л. - Математическая логика - Китайская теорема об остатках ...