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