A transfinite type theory with type variables

Bibliographic Details

Main Author:	Andrews, P. B. (Peter Bruce), 1937-
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Amsterdam, North-Holland Pub. Co., 1965.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Type theory. Théorie des types. Type theory Logica. Logica Matematica. Electronic books.
Online Access:	Connect to the full text of this electronic book