Primes and Irreducibles in Truncation Integer Parts of Real Closed Fields2017 · Book · Koleksi Perpustakaan