Introduction to the foundations of mathematics - Wilder, Raymond Louis 1896-1982 (Wiley, 1961)