Rosenbloom, Paul C. Elements of mathematical logic / - 1950. - Dover series in mathematics and physics ed by W Prager .