The foundations of mathematics - Beth, Evert Willem (North-Holland Publishing Company, 1959)