Real analysis and foundations (Boca Raton, Fla. : CRC Press, 1991)