"A Transfinite Type Theory with Type Variables (Studies in Logic and the Foundations of Mathematics, 37) " - читать интересную книгу автора (Peter Bruce Andrews)