Revista: | Boletim da Sociedade Paranaense de Matematica |
Base de datos: | PERIÓDICA |
Número de sistema: | 000136679 |
ISSN: | 0037-8712 |
Autores: | Beziau, J.Y1 |
Instituciones: | 1Universidade de Sao Paulo, Instituto de Estudos Avancados, Sao Paulo. Brasil |
Año: | 1995 |
Volumen: | 15 |
Número: | 1-2 |
Paginación: | 37-43 |
País: | Brasil |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | Filosofía de la ciencia, Lógica, Matemáticas puras, Negación, Lógica matemática, Teorema de completez, Reductio ad absurdum |
Keyword: | Philosophy, Mathematics, Logic, Philosophy of science, Pure mathematics, Mathematical logic, Completeness theorem, Reductio ad absurdum |
Solicitud del documento | |