Introduction to the foundations of mathematics - Wilder, Raymond L. (New York John Wiley and Sons, 1965)
Keywords: Mathematics; Logic, Symbolic and mathematical