Introduction to the foundations of mathematics - Wilder, Raymond Louis 1896-1982 (John Wiley & Sons, 1965)