The Foundations of Mathematics - Beth Evert W. (Amsterdam North Holland, 1955)