Coding the universe - Beller A; Jesen R; Welch P (Cambridge C U P, 1982)
Keywords: Mathematical logic; Numerical analysis; Set theory