Introduction to the foundations of mathematics - Wilder, Raymond Louis, 1896- (New York : John Wiley & Sons, 1965)
p. 301-313.
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical