Real algebraic geometry - Bochnak, J. (Ergebnisse der Mathematik und ihrer Grenzgebiete, 1998)