Revista: | Boletim da Sociedade Paranaense de Matematica |
Base de datos: | PERIÓDICA |
Número de sistema: | 000022271 |
ISSN: | 0037-8712 |
Autores: | Krause, D1 |
Instituciones: | 1Universidade Federal do Parana, Fac Ciencias Exatas; Dep Matematica, Curitiba, Parana. Brasil |
Año: | 1992 |
Volumen: | 13 |
Número: | 1-2 |
Paginación: | 101-113 |
País: | Brasil |
Idioma: | Portugués |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | Lógica, Matemáticas puras, Sistemas formales, Lógica matemática, Lógica paraconsistente |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Formal systems, Mathematical logic, Paraconsistent logic |
Solicitud del documento | |