A Transfinite Type Theory with Type Variables / P. B. Andrews - Andrews, P. B. (Amsterdam : North-Holland)
Keywords: 1. LÓGICA MATEMÁTICA 2. VARIABLES (ESTADÍSTICA)