DEVELOPMENT OF MATHEMATICAL LOGIC - Goodstein, R. L. (London Logos Press, 1971)
Bibl. : P. 141-148
Keywords: Logic, Symbolic And Mathematical