Décio Krause

Publications

Updated Apr. 2011

1. [2011] Krause, D., Is Priscilla, the trapped positron, an individual? Quantum physics, the use of names, and individuation. Arbor (Madrid) 187 (747), 2011, 61-66. DOI: 103989/arbor.2011.747n1007.

2. [2011] Krause, D., Arenhart, J.R.B. and Moraes, F.T.F., Axiomatization and models of scientific theories. Foundations of Science, forthcoming (but on line already): DOI 10.1007/s10699-011-9226-y Qualis A2.

3. [2011] Krause, D. and Videira, A.A.P. (editors), Brazilian Studies in Philosophy and History of Science: An Account of Recent Works. Springer (Boston Studies in Philosophy of Science, 290). ISBN: 978-90-481-9421-6.

4. [2011] `The quasi-lattice of indiscernible elements”, M. C. do Nascimento, D. Krause and H. de A. Feitosa, Studia Logica 97, pp. 101-128. (PDF preprint here) Qualis A2.

5. [2010] Domenech, G., Holik, F, Kniznik, L, Krause, D., `No labeling quantum mechanics of indiscernible particles’, International Journal of Theoretical Physics 49 (12), pp. 3085-3091. DOI 10.1007/s10773-009-o220-x

6. [2010] French, S. And Krause, D. `Remarks on the theory of quasi-sets’, Studia Logica 95 (1-2), 101-124. DOI: 10.1007/s11225-010-9249-3.Qualis A2.

7. [2010] Krause, D., `Logical aspects of quantum (non-)individuality’, Foundations of Science 15 (1), FEB. 2010, 79-94. DOI: 10.1007/s10699-009-9169-8, ISSN (Print) 1233-1821, ISSN (Online) 1572-8471. Qualis A2.

8. [2010] Krause, D. ‘Pueden ser separables las entidades indiscernibles? Ensaio sobre posibles consecuencias de una posición de Einstein frente a la indiscernibilidad’, in Guerrero Pino, G. (ed.), Einstein: científico y filósofo, Cali: Universidad Del Vale, pp. 125-145. ISBN: 978-958-670-835-7.

9. [2010] (Editor, with Otávio Bueno): Special Issue of Manuscrito 33(1-2), dedicated to the Philosophy of Physics. Qualis B1.

10. [2010] Krause, D. & Bueno, O., `Ontological issues in quantum theory’, Manuscrito 33 (1) Jan-Jun, 269-284. ISSN: 0100-6045. Qualis B1.

11. [2010] da Costa, N. C. A., Krause, D. and Bueno, O., `Issues in the foundations of science, I: languages, structures, and models’, Manuscrito 33 (1) Jan-Jun, 123-142. ISSN: 0100-6045. Qualis B1.

12. [2010] Krause, D. & Bueno, O., `Filosofia da Física Quântica: A titulo de prefácio’, Manuscrito 33 (1), Jan-Jun., 7-18. ISSN: 0100-6045. Qualis B1.

13. [2010] Arenhart, J.R.B. & Krause, D., `Quantifiers and the foundations of quasi-set theory’, Principia (UFSC) 13 (3) 2009, 251-268. ISSN (on line ed): 1808-1711. Qualis B1.

14. [2010] (Editor): Special issue of Principia 13 (3), 2009, dedicated to the Newton da Costa’s 80th Birthday.

15. [2010] (Editor): Special issue of Principia 14 (1), 2010, dedicated to the Newton da Costa’s 80th Birthday.

16. [2010] (Editor): Special issue of Principia 14 (2), 2010, dedicated to the Newton da Costa’s 80th Birthday.

17. [2010] Arenhart, J. R. B. e Krause, D., `Semântica quase-conjuntista e compromisso ontológico’, Cognitio (S. Paulo), v.10, n.2, 2009, pp. 191-207. ISSN: 1518-7187. Qualis B1.

18. [2009] Krause, D., `Questões a uma teoria de quase-objetos’, Manuscrito (Campinas) v.32, n.2, 2009, pp. 399-436. ISSN: 0100-6045.

19. [2009] Krause, D., “Newton da Costa e a filosofia da quase-verdade”, Principia 13 (2), 2009, 105-128.

20. [2009] Krause, D. and Feitosa, H. de A., `Algebraic aspects of quantum indiscernibility’, in Carnielli, W.A., Coniglio, M.E. and D’Ottaviano, I. M. L. (eds.), The Many Sides of Logic, Studies in Logic 21, College Publications, pp. 369-388. ISBN: 978-1-904987-78-9.

21. [2009] (Abstract) Krause, D. and Feitosa, H. de A., `Algebraic aspects of quantum indiscernibility’, The Bulletin of Symbolic Logic 15 (3) Sept. 2009, p. 359.

22. [2008] “Individualidade de objetos físicos e lógica”, em Lorenzano, P. y Miguel, H. (eds.), Filosofía e Historia de la Ciencia en el Cono Sur, Vol. II, Buenos Aires, C.C.C. Educando, pp. 249-258.

23. [2008] Krause, D., “Física e Ontologia”, Discusiones Filosóficas Año 9 Nº 12, Enero – Junio, 2008. pp. 57–74.

24. [2008] Krause, D. “A negação clássica”, O Que Nos Faz Pensar 23 (Junho 2007), 31-39. (PDF)

25. [2008] Domenech, G., Holik, F. and Krause, D., “Q-spaces and the foundations of quantum mechanics”, Foundations of Physics 38 (11) Nov. 2008, 969-994. DOI: 10.1007/s10701-008-9246-9 (look here)

26. [2008] Krause, D. e Becker, J., "Identidade, Individualidade e Quase-Conjuntos", Revista Eletrônica Informação e Cognição (ISSN 1807-8281) vol 2, 2008, 25-39. (search here)

27. [2008] Krause, D., "Nota sobre o comprometimento ontológico com não-indivíduos", in R. A. Martins; C. S. Silva; J. M. H. Ferreira; L. A. P. Martins (eds.), Filosofia e História da Ciência do Cone Sul - Seleção de Trabalhos do 5 Encontro (ISBN 978-1-4357-15), Campinas, AFHIC (Associação de Filosofia e História da Ciência do Cone Sul), 2008, 125-132. (look here)

28. [2008] Krause, D. and Bueno, O., "Scientific theories, models, and the semantic approach", Principia 11 (2), 2007, 187-201. (look here)

29. [2008] Braida, C. R. e Krause, D., Ontologia II, Florianópolis, UFSC/EAD, 2008. ISBN 978-85-61484-06-4, 291pp.

30. [2008] da Costa, N. C. A. and Krause, D., “Physics and Non-Classical Logic”, in C. Dégremont, L. Keiff and H. Rückert (eds.), Dialogues, Logics, and Other Strange Things: Essays in Honour of Shahid Rahman, College Pu., 2008, 105-122. ISBN-10: 1904987130, ISBN-13: 978-1904987130.

31. [2008] (Abstract) Krause, D. and Bueno, O., “Paraconsistent Quasi-Set Theory”, IV World Congress on Paraconsistency (July 13-18, Melbourne, Australia (download as a PDF file)

32. [2007] da Costa, N. C. A. and Krause, D., "Logical and Philosophical Remarks on Quasi-Set Theory", Logic Journal of the IGPL, v. 15, p. 1-20, 2007. (look here)

33. [2007] da Costa, N. C. A., Krause, D. and Bueno, O., "Paraconsistent logics and paraconsistency", in D. Jacquette, editor of the volume on Philosophy of Logic; D.M.Gabbay, P.Thagard and J.Woods (eds.), Philosophy of Logic,  Elsevier, 2006, in the series Handbook of the Philosophy of Science,  v. 5, p. 655-781.

34. [2007] Krause, D. and French, S., ''Quantum sortal predicates", Synthese 2007 154 (3), 417-30. (look here)

35. [2007] Krause, D. e Becker, J., "Hume, Schrödinger e a individuação de objetos físicos" (com Jonas Becker), Revista Eletrônica Informação e Cognição 5 (2), 2006, 59-71 (published in 2007) . (search here)

36. [2007] Krause, D., `Essay Review: "Doubt truth to be a liar"’ (by G. Priest - Oxford: Clarendon Press, 2006, xii + 226 pp., ISBN 978 0 19 926328 8), International Studies for the Philosophy of Science Volume 21, Issue 3 October 2007 , pages 345 - 357 , DOI: 10.1080/02698590701589619.

37. [2007] Magalhães, J. C. M. e Krause, D., "Teorias e modelos em genética de populações: um exemplo de aplicação do método axiomático em biologia", Episteme (Porto Alegre) 11 (24), 2006, 269-291 (publicado em 27.09.2007).

38. [2007] (Preface) Carnielli, W. A. and Krause, D.,  "Preface",  as the Editors of the Special Issue of Logic Journal of IGPL (dedicated to the papers presented to the XIV Brazilian Conference on Mathematical Logic - Itatiaia, Rio de Janeiro, April 206).

39. [2007] (Preface) Béziau, J. –Y. and Krause, "Preface", as the Editors of "New Trends in the Foundations of Science", special issue of Synthese Vol.154 (3), Feb 2007, 345-347, with papers dedicated to the 80th birthday of Patrick Suppes presented in Florianópolis, Brazil, April 22–23, 2002. (Printed Version).

40. [2007] (Review) Krause, D., `Essay Review: Enciclopédia de Termos Lógico-Filosóficos’, direcção de João Branquinho, Desidério Murcho e Nelson Gonçalves Gomes, São Paulo: Martins Fontes, 2006, 803 pp.,em Crítica 18 Fev. 2007.

41. [2006] French, S. And Krause, D., Identity in Physics: A Historical, Philosophical, and Formal Analysis, Oxford: Oxford Un. Press, 2006.

[Review by James Ladyman], [Review by Justin Pniower], [Review by Kent Staley], [Review by Michela Massimi], [Review by Katherine Hawley]

42. [2006] da Costa, N. C. A. and Krause, D. "The logic of complementarity", in J. van Benthem, G. Heinzmann, M. Rebushi and H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, Springer 2006, 103-120. (PDF)

43. [2006] Krause, D., "Einstein y la indiscernibilidad", Praxis Filosófica (Nueva Serie) 22, 2006, 113-130. (revista) (pdf).

44. [2005] da Costa, N. C. A. and Krause, D., in Pietrocola, M. e Olival Freire, Jr., Filosofia, Ciência e História: Michel Paty e o Brasil, uma homenagem aos 40 anos de colaboração, FAPESP e Discurso Editorial, São Paulo, 2005, 337-362.

45. [2005] Krause, D., "Una ojeada en las bases ontológicas de la fisica cuántica", Praxis Filosófica 21, Julio-Diciembre 2005, 5-20.

46. [2005] Krause, D., Sant’Anna, A. S. and Sartorelli, A., "On the concept of identity in Zermelo-Fraenkel-like axioms and its relationships with quantum statistics”, Logique et Analyse Vol.48 No. 189-192, 2005. [Per] http://arxiv.org/abs/math/0106098

47. [2005] Krause, D., "Separable non individuals", Representaciones Vol.1, No.1, Nov.2005, 21-36.

48. [2005] Krause, D. and Coelho, A. M. N., "Identity, Indiscernibility, and Philosophical Claims", Axiomathes 15 (2), June 2005, 191-210.

49. [2005] da Costa, N. C. A. and Krause, D., 'On a framework for physical theories’, Essay Review do livro de  E.  Scheibe, Between Rationalism and Empiricism: Selected Papers in the Philosophy of Physics, Ed. by B. Falkenburg, Springer-Verlag New York Inc., 2001, viii + 627pp, Studies in History and Philosophy of Modern Physics 36 (1), 2005, pp. 210-217.

50. [2005] Krause, D.,  'Structures and structural realism', Logic Journal of IGPL 13 (1), 2005, pp. 113-126.

51. [2005] 'Observações sobre a neutralidade ontológica da matemática' (com G. Gelowate e A. M. N. Coelho), Episteme 17 (Jul./Dez.) 2003, pp. 145-157. (Junho 2005).

52. [2005] (Preface) "Apresentação" do livro Lógica e Direito: Linguagem Jurídica sob Diferentes Paradigmas Lógicos, de Claudia Maria Barbosa, Curitiba: Juruá Editora, 2005, pp.4-6.

53. [2004] 'Complementarity and paraconsistency', com N. C. A. da Costa, em S. Rahman, J. Symons, D.M. Gabbay and J. -P. van Bendegem (eds), Logic, epistemology, and the unity of science, Springer-Verlag, 2004, pp. 557-568 (ver)  

54. [2004] 'Lógica paraconsistente', Scientific American Brasil, Novembro 2004.

55. [2004] 'Notas sobre a neutralidade ontológica da matemática', com G. Gelowate e A.M.N.Coelho, em H. A. Feitosa e F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol. 40, Col. CLE, Unicamp, 2004, pp. 173-182.

56. [2004] 'A metafísica dos quanta: questões lógicas', em H. A. Feitosa e F.T. Sautter (orgs.), Lógica e Filosofia da Lógica, Vol. 39, Col. CLE, Unicamp, 2004, pp. 139-161.

57. [2004] 'Complementaritate şi paraconsistenţă', tradução para o romeno de 'Complementarity and paraconsistency' (com N. C. A. da Costa), in Lucica, I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta, Bucareste, Editura Tehnica, 2004, pp. 449-462.

58. [2004] 'Observaţii asupra aplicaţiilor logicii paraconsistente în fizică', tradução para o romeno de 'Remarks on the applications of paraconsistent logic to physics' (com N. C. A. da Costa)(texto), in Lucica, I., Gheorghiu, D., Chirila, R., (eds.), Ex falso quodlibet: studi de logica paraconsistenta, Bucareste, Editura Tehnica, 2004, pp. 463-481.

59. [2003] 'Quantum Vagueness' (with S. French), Erkenntnis 59 (1), 2003, pp. 97-124. (look here)

60. [2003] 'Newton da Costa, pensador da contradição' (with A. S. Sant'Anna and F. A. Doria), Scientific American Brasil , Junho 2003, pp. 22-24. (look here)

61. [2003] 'The mathematics of non-individuality', Coleção Documentos, Série Lógica e Teoria da Ciência, Instituto de Estudos Avançados da Universidade de São Paulo, número 46, Março 2003. (Texto 418KB)

62. [2003] 'Why quasi-sets?', Boletim da Sociedade Paranaense de Matemática 20 n. 1/2, 2002, pp. 73-92 (Julho 2003). (look here)

63. [2003]  'Observações sobre a neutralidade ontológica da matemática', (with Geraldo Gelowate and Antonio M. N. Coelho) Caderno de Resumos do Third Principia International Symposium, realizado em Florianópolis, de 8 a 11 de Setembro de 2003, p. 31.

64. [2003] 'Identidade em estruturas: uma aplicação ao problema da  indistinguibilidade de partículas', com A. M. N. Coelho, no Caderno de Resumos do Third Principia International Symposium, realizado em Florianópolis, de 8 a 11 de Setembro de 2003,  pp.40-42.

65.[2002] Introdução aos Fundamentos Axiomáticos da Ciência, S. Paulo, EPU, 2002, pp. xii + 211 (ISBN 85-12-79110)

66.[2002] `An inductive annotated logic" (with N. C. A. da Costa), in W. Carnielli, M. Cogniglio and I. M. L. D'Ottaviano (eds.), Paraconsistency: the logical way to the inconsistent, Proceedings do II World Congress on Paraconsistency, Juquehy, SP, May 2000 (Marcel Dekker, New York, 2002, Lecture Notes in Pure and Applied Mathematics, n. 228), pp. 213-225. (ISBN 0824708059) (Texto).

67.[2002] (Abstract) `A solution to Manin's Problem', Abstracts of the American Mathematical Society 23 No. 2 (128), p. 397. (ISSN 0192-5857)

68.[2002] `Lógica sortal e física quântica', in Cupani, A. O. e Mortari, C. A. (orgs), Linguagem e Filosofia. Anais do Segundo Simpósio Internacional Principia, NEL/UFSC, Florianópolis 2002(Col. Rumos da Epistemologia, Vol. 6), pp. 23-42. (ISBN 85-87253-07-7)

69. [2001] "Suppes predicate for genetics and natural selection" (with J. C. M. Magalhães), Journal of Theoretical Biology 209 (2) 2001, pp. 141-153. (ver)

70. [2001] "Bibel's Matrix Connection Method in Paraconsistent Logic: General Ideas and Implementation", (with E. F. Nobre and M. A. Musicante), Proceedings of the XXI Internacional Conference Chilean Computer Society, Punta Arenas, Chile, 5-9 Nov. 2001 (IEEE Computer Society Press). Texto, Implementação  (Veja aqui o artigo na IEEE)

71. [2001] "Axiomatização da genética e o conceito de gene" (with J. C. M. Magalhães), em J. L. Goldfarb e M. H. M. Ferraz (orgs.), Anais do VII Seminário Nacional de História da Ciência e da Tecnologia e VII Reunião da Rede de Intercâmbio para a História e Epistemologia das Ciências Químicas e Biológicas, S. Paulo, Imprensa Oficial, EdUSP, EdUNESP e SBHC, 2000 (publicado em 2001), pp. 451-454.

72. [2000] “Remarks on quantum ontology", Synthese 125 (1/2), 2000, 155-167.

73. [2000] (Editor, with S. French e F. A. Doria), Synthese 125 (1 e 2), Volume especial em homenagem aos 70 anos do Prof. Newton C. A. da Costa.

74. [2000] "Newton da Costa: homenagem aos seus 70 anos", Rev. Bras. Fil. 50 (198), 2000, 268-280.

75. [2000] "Alguns aspectos lógicos e epistemológicos relacionados aos fundamentos da mecânica quântica", Cadernos de História e Filosofia da Ciência, 9, n.1-2, série 3, pp. 147-200, 1999 (publicado em Dezembro de 2000).

76. [2000] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 18, números 1/2, (1998), publicado pela Editora da UFPR em Julho de 2000.

77. [1999] "Set theoretical models for quantum systems" (com N. C. A. da Costa), in Dalla Chiara, M. L., Giuntini, R. and Laudisa, F. (eds.), Language, quantum, music, Kluwer Ac. Pu., 1999, 171-181.

78. [1999] "The logic of quanta" (com Steven French), in T. Y. Cao (ed), Conceptual foundations of quantum field theory, Cambridge University Press, 1999, 324-342.

79. [1999] "Quasi set theory for bosons and fermions" (com A. S. Sant'Anna and A. G. Volkov), Foundations of Physics Letters 12 (1), 1999, 67-79.  http://arxiv.org/abs/quant-ph/9803076

80. [1999] "Opaque predicates, veiled sets and their logic" (com Steven French), in W. Carnielli and I. M. L. D'Ottavianno (eds), Advances in contemporary logic and computer science, American Mathematical Society (Contemporary Mathematics 235), 1999, 263-274.  arXiv:quant-ph/9810090v1

81. [1998] "Quasi set theories for microobjects: a comparision" (com M. L. Dalla Chiara and R. Giuntini), in E. Castellani (ed), Interpreting bodies: classical and quantum objects in modern physics, Princeton University Press, 1998, 142-152. (Resenha)

82. [1998] "O Princípio da Complementaridade e a lógica paraconsistente", in Sociedade Brasileira de Filosofia, A filosofia, hoje, Vol. II. S. Paulo, Instituto Brasileiro de Filosofia, 1998, 1025-1036.

83. [1998] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 17, números 1/2, (1997), publicado pela Editora da UFPR em 1998.

84. [1997] "An intensional Schrödinger logic" (com N. C. A. da Costa), Notre Dame Journal of Formal Logic 38 (2), 1997, 179-194.

85. [1997] "Relativizations of the Principle of Identity" (com J, -Y. Béziau), Journal of the Interested Group in Pure and Applied Logic 5 (3), 1997, 327-338. (look here)

86. [1997] "Hidden variables and indistinguishable particles" (com A. S. Sant'Anna), Foundations of Physics Letters 10, 1997, 409-426. http://arxiv.org/abs/quant-ph/9607015

87. [1997] "Estruturas em ciência" (com J. -Y. Béziau and O. Bueno), Boletim da Sociedade Paranaense de Matemática 17 (1/2), 1997, 91-111.

88. [1997] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 16, números 1/2, (1996), publicado pela Editora da UFPR em 1997. 

89. [1996] "Axioms for collections of indistinguishable objects", Logique et Analyse 153-154, 1996, 69-93.

90. [1996] "Remarks on individuation, quantum objects and logic", Logique et Analyse 155-156, 1996, 325-33.

91. [1996] "Matrix proof method in annotated paraconsistent logic" (com C. A. A. Kaestner), Anais del Primer Congresso Argentino de Ciencias de la Computacíon, Un. Nacional del Sur, de Bahia Blanca, Argentina (5-7 Oct. 1995), Un. Nac. del Sur, 1996, 416-25.

92. [1996] "Quantum objects are vague objects" (com S. French), Sorites 6, 1996, 21-33. (ver)

93. [1996] "Some remarks on sortal logics and physics" (com N. C. A. da Costa and S. French), in Etcheverría, J., de Lorenzo, J. e Peña, L. (eds.), Calculemos...matemáticas y libertad: homenaje a Miguel de Sánchez Mazas, Madrid, Trotta, 1996, 159-72.

94. [1996] (Editor) Boletim da Sociedade Paranaense de Matemática, Volume 15, números 1/2, (1995), publicado pela Editora da UFPR em 1996.

95. [1996] (Thesis) O Problema de Manin: Elementos para uma Análise Lógica dos Quanta, Universidade Federal do Paraná, Full Professor Thesis.

96. [1995] "The theories of quasi-sets and ZFC are equiconsistent", in Carnielli, W. and Pereira, L. C. (eds.), Logic, sets and information, Proceedings of the Xth Brazilian Conference on Mathematical Logic (Itatiaia, RJ, May 1993), Campinas, Coleção CLE 14, UNICAMP, 1995, 145-55.

97. [1995] "Vague identity and quantum non-individuality" (with S. French), Analysis 55 (1), 1995, 20-6.

98. [1995] "A formal framework for quantum non-individuality" (with S. French), Synthese 102, 1995, 195-214.

99. [1995] O Problema de Manin: Elementos para uma Análise Lógica dos Quanta, Tese de Professor Titular, Departamento de Matemática, Universidade Federal do Paraná, 1995. (PDF)

100. [1994] "Schrödinger logic" (com N. C. A. da Costa), Studia Logica 53 (4), 1994, 533-50. [PDF]

101. [1994] "Non-reflexive logics and the foundations of physics", in Cellucci, C., Di Maio, M. C. and Roncaglia, G. (eds.), Logica e filosofia della scienza: problemi e prospettive. Proceedings of the Congresso Triennale della Società Italiana di Logica e Filosofia delle Scienze (Lucca, 1-10 Jan 1993), Pisa, ETS, 1994, 393-405.

102. [1992] "On a quasi-set theory", Notre Dame J. of Formal Logic 33 (3), 1992, 402-11.

103. [1992] "Algumas observações a propósito da reedição de `Sistemas Formais Inconsistentes' ", Bol. Soc. Paran. Mat. 11/12 1991/1992, 101-113.

104. [1992] "Lógica polissortida e o domínio vazio" , Atas a Academia Brasileira de Ciências 64 (64), 1992, 409-10

105. [1992] "A obra de N. C. A. da Costa em lógica" (com J. M. Abe), Theoria 16-17-18 (VII), 1992, 347-86.

106. [1992] "The Schrödinger problem" (com N. C. A. da Costa and S. French), in Bitbol, M. and Darrigol, O. (eds.), Erwin Schrödinger: philosophy and the birth of quantum mechanics, Paris, Frontières, 1992, 445-60.

107. [1991] "Multisets, quasi-sets and Weyl's aggregates", J. Non-Classical Logic 8 (2), 1991, 9-39.

108. [1990] "A `dialetização' da teoria tradicional da identidade", Bol. Soc. Paran. Mat. 10, 1990, 159-75. 

109. [1990] "A filosofia da ciência de N. C. A. da Costa", Rev. Bras. Fil. 39 (158), 1990, 117-44.

110. [1990] (Thesis) Não-Reflexividade, Indistinguibilidade e Agregados de Weyl, Tese de Doutoramento, Faculdade de Filosofia, Ciências e Letras, Universidade de São Paulo, 1990. PhD Thesis. (look here)

111. [1989] "Aspectos da lógica atual", Rev. Bras. Fil. 38 (155), 1989, 220-37.

112. [1987] "O conceito bourbakista de estrutura", Bol. Soc. Paran. Mat. 8, 1987, 77-102.

113. [1983] (Thesis) O Mundo 3 da Matemática: Existência, Objetividade e Compreensão na Formulação da Metodologia e Currículo, Dissertação de Mestrado, Universidade Federal do Paraná, 1983. Master of Science.(look here)

---back---