00767nam0-22002771i-450-990000953750403321000095375FED01000095375(Aleph)000095375FED0100009537520000920d19611965km-y0itay50------baeng<<A >>Transfinite Type Theory with Type Variablesby P.B. AndrewsAmsterdamNorth-Holland1965xv, 143 p.23 cmLogicaRicorsività160Andrews,Peter B.44359ITUNINARICAUNIMARCBK9900009537504033217-0024832FI1FI1Transfinite Type Theory with Type Variables344985UNINA