Универсальные теории целых чисел и расширенная гипотеза близнецов В.И. Беляков, В.И. Мартъянов (1983) Algebra i Logika