Reconstruction of the proof from its scheme (1984)

by V P Orevkov
Venue:in Russian), 7-th Conf. Math. Logic