Introduction to the foundations of mathematics / by R.L. Wilder. - Wilder, R. L. (Wiley, 1965)