| Referências: |
DI PRISCO, Carlos Augusto. Uma introducción a La teoria de conjuntos y lós fundamentos de lãs matemáticas. Campinas: Unicamp, 1997. 159 p.
FARAH, Edison. Algumas Proposições Equivalentes ao Axioma da Escolha. Curitiba: Editora UFPR, 1994. 61 p.
GÖDEL, Kurt. O Teorema de Gödel e a Hipótese do Contínuo. Lisboa: Fundação Calouste Gulbenkian, 1979 887 p.
HALMOS, Paul R. Teoria ingênua dos conjuntos. Sao Paulo: Ciência Moderna, 2001. 178 p. (Clássicos da Matemática).
MIRAGLIA, Francisco. Teoria de Conjuntos: um mínimo. São Paulo: Edusp, 1991. 161 p. COSTA, Newton Carneiro Afonso da. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008. 289 p.
DEVLIN, Keith J. The joy of sets: fundamentals of contemporary set theory. 2 ed. New York: Springer-Verlag, 1993. 192 p. (Undergraduate texts in mathematics).
_______, Keith. Sets, functions, and logic: an introduction to abstract mathematics. 3rd ed. Boca Raton: Chapman & Hall, 2004. 141 p. (Chapman & Hall mathematics).
ENDERTON, Herbert B. Elements of set theory. New York: Academic Press, c1977. 279 p.
HRBACEK, Karel; JECH, T. Introduction to set theory. 3 ed. New York: CRC, 1999. 291 p. (Monographs an Textbooks in Pure and applied Mathemathics).
KUNEN, Kenneth. Set theory: an introduction to independence proofs. Amsterdam: North-Holland Pub Co, 2006. v. 102. 313 p. (Studies in logic and the foundations of mathematics).
KNEALE, W. C; KNEALE, Martha. The development of logic. Oxford: Clarendon Press, 1962. 783 p.
MENDELSON, Elliott. Introduction to mathematical logic. 4 ed. London: Chapman & Hall, 1997. 440 p.
KURTZ, David C. Foundations of Abstract Mathematics. New York: McGraw-Hill, 1992. 190 p.
POTTER, Michael. Set Theory and its Philosophy:a critical introduction. Oxford: Oxford University, 2004. 345 p.
SUPPES, Patrick. Axiomatic set theory. New York: Dover Publications, 1972. 267 p.
TILES, Mary. The philosophy of set theory: an historical introduction to Cantor¿s paradise. Mineola, N.Y: Dover Publications, 2004. 239 p. (Dover Books on Mathematics). |
