Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
A transfinite type theory with type variables, by P.B. Andrews.
Lugar de Edición:
Amsterdam,
Editor:
North-Holland Pub. Co.,
Fecha de Edición:
1965.
Palabras clave:
Logica; Logica Matematica; Type theory.
Leader:
nam
Campo 003:
OCoLC
Campo 008:
841126s1965 ne b 000 0 eng
Campo 100:
1 ^aAndrews, P. B.^q(Peter Bruce),^d1937-
Campo 245:
12^aA transfinite type theory with type variables,^cby P.B. Andrews.
Campo 246:
Campo 260:
^aAmsterdam,^bNorth-Holland Pub. Co.,^c1965.
Campo 300:
^axv, 143 p.^c23 cm.
Campo 440:
0^aStudies in logic and the foundations of mathematics
Campo 650:
7^aLogica^2larpcal
Campo 650:
7^aLogica Matematica^2larpcal
Campo 650:
0^aType theory.
Proveniencia:
^aUBA-EX
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito