"Turchin V.F. A constructive interpretation of the full set theory (J.Symb.Logic 52, 1987)(600dpi)(30s).djvu" - читать интересную книгу автора