Journal: | Boletim da Sociedade Paranaense de Matematica |
Database: | PERIÓDICA |
System number: | 000006387 |
ISSN: | 0037-8712 |
Authors: | Costa, N1 Qing Yu, Z2 |
Institutions: | 1Universidade de Sao Paulo, Sao Paulo. Brasil 2Chinese Acad Social Sciences, Institute of Philosophy, Beijing. China |
Year: | 1994 |
Volumen: | 14 |
Number: | 1-2 |
Pages: | 11-20 |
Country: | Brasil |
Language: | Inglés |
Document type: | Artículo |
Approach: | Teórico |
Disciplines: | Matemáticas |
Keyword: | Matemáticas puras, Algebra, Teoremas, Lógica matemática, Inconsistentes-sistemas |
Keyword: | Mathematics, Pure mathematics, Algebra, Theorems, Mathematical logic, Inconsistent systems |
Document request | |