A transfinite type theory with type variables/
Andrews, P. B. 1937-
A transfinite type theory with type variables/ by P. B. Andrews. - Amsterdam ; North-Holland, 1965. - xv, 143 p.: 23 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 141.
66005084 //r842
Type theory
511.3 / A568t
A transfinite type theory with type variables/ by P. B. Andrews. - Amsterdam ; North-Holland, 1965. - xv, 143 p.: 23 cm. - Studies in logic and the foundations of mathematics .
Bibliography: p. 141.
66005084 //r842
Type theory
511.3 / A568t