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