A Transfinite Type Theory with Type Variables

Front Cover
North-Holland Publishing Company, 1965 - Logic, Symbolic and mathematical - 143 pages

Bibliographic information