MATHEMATICAL LOGIC - Steen, S. W. P. (Cambridge University Press, 1972)
Ref. : P. 621-630
Keywords: Logic, Symbolic And Mathematical