Revue: | Boletim da Sociedade Paranaense de Matematica |
Base de datos: | PERIÓDICA |
Número de sistema: | 000202329 |
ISSN: | 0037-8712 |
Autores: | Costa, Newton C.A. da1 Caiero, Roque da C |
Instituciones: | 1Universidade de Sao Paulo, Departamento de Filosofia, Sao Paulo. Brasil |
Año: | 1999 |
Volumen: | 19 |
Número: | 1-2 |
Paginación: | 43-49 |
País: | Brasil |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Matemáticas |
Palabras clave: | 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 | |