La teoría de los tipos lógicos
Author: Russell, Bertrand
Content type: article
Keywords:
Abstract:
Expone la teoría de Russell sobre los tipos lógicos y analiza los siguientes temas: la naturaleza de las funciones proposicionales, define las nociones de verdad y de error, requerimientos de una función dada, la jerarquía de las funciones y las proposiciones, el axioma de reductibilidad, la teoría de clases