Cislovye sistemy - FEFERMAN, S. (Moskva, 1971)