Publication:4129535
From MaRDI portal
zbMath0357.10033MaRDI QIDQ4129535
Ch. Ja. Christov, Todor D. Todorov
Publication date: 1976
26E35: Nonstandard analysis
11U10: Nonstandard arithmetic (number-theoretic aspects)
03H99: Nonstandard models