A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.

From MaRDI portal
Publication:1432219