Algumas referências bibliográficas

 

 

BALZER, Wolfgang; MOULINES, C. Ulises & SNEED, Joseph D. An architectonic for science: the structuralist program. Dordrecht, D. Reidel, 1987.

 

BIRKHOFF, Garrett. ''On the structure of abstract algebras'', in: Proceeding of the Cambridge philosophical society, v.31, 1935, pp. 117-138.

 

BIRKHOFF, Garrett. ''Universal algebra'', in: Comptes rendus du premier congrès canadien de mathématiques. Montreal, University of Toronto Press, 1946, pp.310-326.

 

BIRKHOFF, Garrett. ''The rise of modern algebra to 1936'', in: Gian-Carlo Rota & Joseph S. Oliveira (eds). Selected papers on algebra and topology by Garret Birkhoff. Boston, Birkhäuser Verlag, 1987, pp.561-583.

 

BIRKHOFF, Garrett. ''The rise of modern algebra, 1936 to 1950'', in: Gian-Carlo Rota & J. S. Oliveira (eds). Selected papers on algebra and topology by Garret Birkhoff. Boston, Birkhäuser Verlag, 1987, pp.585-605.

 

BOURBAKI, Nicolas, ''L'architeture des mathématiques'', in: F. Le Lionnais (ed). Les grands courants de la pensée mathématique. Cahiers du sud, 1948 (versão em língua portuguesa: ''A arquitetura das matemáticas'', Anuário da sociedade paranaense de matemática, n.4, 1957, pp.1-17).

 

BOURBAKI, Nicolas. Théorie des ensembles: fascícule de résultats. Paris, Hermann, 1939.

 

BOURBAKI, Nicolas. ''Foundations of mathematics for the working mathematician'', Journal of symbolic logic, v.14, n.1, March, 1949, pp.1-8.

 

BOURBAKI, Nicolas. ''The architecture of mathematics'', American mathematical monthly, v.57, n.4, April, 1950, pp.221-232.

 

BOURBAKI, Nicolas. Éléments de mathématique: théorie des ensembles. Paris, Hermann, 4.e., 1964.

 

CARNAP, Rudolf. On Introduction to symbolic logic and its applications. Mineola (New York), Dover Publications, 1958 (versão em língua alemã: Einführung in die symbolische Logik, 1954).

 

CARTAN, Pierre. ''Nicolas Bourbaki and contemporary mathematics'', Mathematical intelligencer, v.2, n., 1980, pp.175-180.

 

CORRY, Leo. ''Nicolas Bourbaki and the concept of mathematical structure'', Synthese, v.92, n.3, September, 1992, pp.315-348.

 

CORRY, Leo. Modern algebra and rise of mathematical structures. Berlin/ Boston, Birkhäuser Verlag, 1996.

 

da COSTA, Newton C. A. & CHUAQUI, Rolando B. ''On Suppes' set-theoretical predicates'', Erkenntnis, v.29, n.1, July, 1988, pp.95-112.

 

da COSTA, Newton C. A. & FRENCH, Steven. ''The model-theoretic approach in the philosophy of science'', Philosophy of science, v.57, n.2, June, 1990, pp.248-265.

 

DEVLIN, Keith. The joy of sets: fundamentals of contemporary set theory. New York, Spring Verlag, 2.ed., 1993.

 

DIEUDONNÉ, Jean A. ''The work of Nicholas Bourbaki'', American mathematical monthly, v.77, n.2, February, 1970, pp.134-145.

 

DIEUDONNÉ, Jean A. ''The difficult birth of mathematical structures (1840-1940)'', in: U. Mathieu & P. Rossi (eds). Scientific culture in contemporary world. Milan, Scientia, 1979, pp.7-23 (versão em língua francesa: La difficile naissance des structures mathématiques (1840-1940)', 1979).

 

DIEUDONNÉ, Jean A. ''The work of Bourbaki during the last thirty years'', Notice, American Mathematical Society, October, 1982, pp.618-623.

 

GUEDJ, Denis. ''Nicolas Bourbaki, collective mathematician: an interview with Claude Chevalley'', Mathematical intelligencer, v.7, n.2, 1985, pp.18-22.

 

HALMOS, Paul R. ''Nicolas Bourbaki'', Scientific American, May, 1957.

 

HILBERT, David. ''Axiomatisches Denken'' (1917), in: Gesammelte Abhandlungen: Analysis-Grundlagen der Mathematik Physik-Verschiedenes Lebensgeschichte. Berlin, Springer Verlag, 1970, v.3, pp.147-156 (versão em língua espanhola: ''Pensamiento axiomatico'', Galileo (Montevideo), n.1-2, abril, 1989, pp.23-43).

 

HILBERT, David. ''Mathematische Probleme'' (1900), in: Gesammelte Abhandlungen: Analysis-Grundlagen der Mathematik Physik-Verschiedenes Lebensgeschichte. Berlin, Springer Verlag, 1970, v.3, pp.290-328 (Göttinger Nachrichten, pp.253-297; Archiv der Mathemathik und Physik, v.1, 1901, pp.44-63, pp.213-237).

 

HILBERT, David. ''Mathematical problems'', in: Felix E.  Browder (ed). Proceedings of symposia in pure mathematics: mathematical developments arising from Hilbert problems (May, 1974). Providence (Rhode Island), American Mathematical Society, 1976, v.28, pp.1-34.

 

HODGES, Wilfrid. ''Truth in a structure", Meeting of the Aristotelian society, London, February, 1986, pp.136-151.

 

HODGES, Wilfrid. A shorter model theory. Cambridge, Cambridge University Press, 1997.

 

LEVY, Azriel. Basic set theory. Berlin, Springer, 1979.

 

Mac LANE, Saunders. ''The genesis of mathematical structures: as exemplified in the work of Charles Ehresmann'', Cahiers de topologie et geometrie differentielle, v.21, n.4, 1980, pp.353-365.

 

Mac LANE, Saunders. ''Mathematical models: a sketch for the philosophy of mathematics'', American mathematical monthly, v.88, n.7, 1981, pp.462-472.

 

Mac LANE, Saunders. ''Mathematical logic is neither foundations nor philosophy'', Philosophia mathematica, s/n, pp.3-13.

 

Mac LANE, Saunders. ''Structure in mathematics'', Philosophia mathematica, n.3, v.4, 1996, pp.174-183.

 

MANIN, Yuri I. A course of mathematical logic. Berlin, Springer Verlag, 1977.

 

MANIN, Yuri I. Mathematics as metaphor: selected essays. Providence (Rhode Island), American Mathematical Society, 2007.

 

MARSHALL, M. Victoria & CHUAQUI, Rolando. ''Sentences of type theory: the only sentences preserved under isomorphisms'', Journal of symbolic logic, v.56, n.3, September, 1991, pp.932-948.

 

MENDELSON, Elliott. Introduction to mathematical logic. Boca Raton, Chapman & Hall/ CRC Press, 4.ed., 1997.

 

SENECHAL, Marjorie. ''The continuing silence of Bourbaki: an interview with Pierre Cartier'' (June, 1977), Mathematical intelligencer, v.20, n.1, 1988, pp.22-28.

 

e SILVA, José S. ''On automorphisms of arbitrary mathematical systems'', History and philosophy of logic, v.6, 1985, pp.91-116 (versão em língua inglesa de  A. J. Franco de Oliveira a partir da versão original em língua italiana: Sugli automorfismi di un sistema mathematico qualunque, 1945).

 

STEGMÜLLER, Wolfgang. The structuralist view of theories: a possible analogue of the Bourbaki programme in physical science. Berlin, Springer Verlag, 1979 (versão em língua espanhola: La concepción estructuralista de las teorías: un posible análogo para la ciencia física del programa de Bourbaki. Madrid, Alianza Editorial, 1981).

 

STEWART, Ian. ''Bye-bye Bourbaki: paradigm shifts in mathematics'', Mathematical gazette, 1994, pp.496-498.

 

SUPPES, Patrick C. Introduction to logic. Mineola (New York), Dover Publications, 1999 (1.ed., 1957).

 

SUPPES, Patrick C. Set-theoretical structures in science. Stanford (California), Institute for Mathematical Studies in the Social Sciences, Stanford University, mimeografado, 1967.

 

SUPPES, Patrick C. Representation and invariance of scientific structures. Stanford (California), Center for the Study of Language and Information, 2002.

 

TARSKI, Alfred. ''What are logical notions?'', History and philosophy of logic, v.7, n.2, 1986, pp.143-154 (editor: J. Corcoran).

 

TRUESDELL, Clifford. ''Suppesian stews'', in: C. Truesdell. An idiot's fugitive essays on science: methods, criticism, training, circumstances. Berlin, Springer Verlag, 1984, pp.503-579.