Introduction to the foundations of mathematics. - Wilder, Raymond L. (New York John Wiley and Sons, 1952)