Partially ordered rings and semi algebraic geometry - Brumfiel, G.W (Lecture note series)