Lectures on Formally Real Fields