Remarks on type theory
Título del documento: Remarks on type theory
Revista: Boletim da Sociedade Paranaense de Matematica
Base de datos: PERIÓDICA
Número de sistema: 000202329
ISSN: 0037-8712
Autors: 1
Institucions: 1Universidade de Sao Paulo, Departamento de Filosofia, Sao Paulo. Brasil
Any:
Volum: 19
Número: 1-2
Paginació: 43-49
País: Brasil
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Analítico
Disciplines Matemáticas
Paraules clau: Matemáticas puras,
Teoría de tipos,
Lógica paraconsistente,
Lógica,
Teoría de conjuntos
Keyword: Mathematics,
Pure mathematics,
Type theory,
Paraconsistent logic,
Logic,
Set theory
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)