00764nam0-22002531i-450-990001125330403321000112533FED01000112533(Aleph)000112533FED01000112533--------d--------km-y0itay50------baeng<<A >>Transfinite Type Theory with Type Variablesdi Andrews Peter B.North-AmsterdamPublishing Company1965Studies in Logic and the Foundations of Mat ematicsAndrews,Peter B.44359ITUNINARICAUNIMARCBK990001125330403321C-30-(386412MA1MA1Transfinite Type Theory with Type Variables344985UNINA