Real analysis and foundations - KRANTZ, Steven (CRC PRESS, 1991)