Introduction to the foundations of mathematics - Wilder, Raymond L. (1960)