Introduction to the foundations of mathematics - Wilder, Raymond Louis, 1896- (Wiley J., 1958)