Mathematics: a survey of it foundations - Misner N.Fredric (Newyork Canfield press, 1975)