The foundations of mathematics - Stewart, Ian, 1945; Tall, David Orme (Oxford University Press, 1977)
Includes index
Keywords: Logic, Symbolic and mathematical