The foundations of mathematics - Stewart, Ian.; Tall, David (Oxford : Oxford University Press, 2007)
Keywords: Logic -- Symbolic and mathematical; Mathematics; Natural numbers; Real numbers; Cardinal numbers