Lectures on formally real fields Alexander Prestel. - Prestel, A. (Alexander), 1941- (Lecture notes in mathematics (Springer-Verlag) ;, 1984)