A transfinite type theory with type variables

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Andrews, P. B. (Peter Bruce), 1937-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1965.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Type theory.
Th�eorie des types.
Type theory
Logica.
Logica Matematica.
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Descripción Física:1 online resource (xv, 143 pages)
Bibliografía:Includes bibliographical references (page 141).
ISBN:9780444534026
0444534024

Ejemplares similares