Introduction to the foundations of mathematics - Wilder, Raymond L. (new york JW&S, 1965)