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