Definiciones implícitas y explícitas

Referencias

[1] ALBIS, V. Temas de Aritm´etica y ´ Algebra. Universidad Nacional de Colombia, Bogotá. 1984. [2] BELL, J., SLOMSONAND, A. Models and Ultraproducts: An introduction. North- Holland, Amsterdam, 1971. [3] BETH, E. On Padoa’s method in the theory of definition. Indagationes Math. 15. 1953. 330–339. [4] BORGES, J. El jard´ın de los senderos que se bifurcan. 1941. Recopilado entre otros en: Jorge Luis Borges, Ficciones. La Oveja Negra, ´a,1984. [5] BURRIS, S., SANKAPPANAVAR, H. A Course in Universal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag, New York, 1981. Disponible en varios sitios de Internet: http://www.thoralf.uwaterloo.ca/htdocs/ualg.html http://www.math.sc.edu/mcnulty/alglatvar/burrissanka.pdf [6] CAICEDO, J. C´alculo Avanzado: Introducci´on. Universidad Nacional de Colombia, Bogot´a, 2005. [7] CAICEDO, X. Elementos de L´ogica y Calculabilidad. Una Empresa Docente, Bogot´a, 1990. [8] CAICEDO, X. Implicit connectives of algebraizable logics. Studia Logica, 78. 2004. 155–170. [9] DERRICK, W., GROSSMAN. S. Ecuaciones Diferenciales con Aplicaciones. Fondo Educativo Interamericano, M´exico, 1984. [10] Euclides. Elementos. Traducci´on de Mar´ıa Luisa Puertas Casta˜nos. Planeta- DeAgostini, Madrid, 1996. [11] FRALEIGH, J. A First Course in Abstract Algebra. Third edition. Addison-Wesley, Reading (Massachusetts), 1982. [12] HILBERT, D. Fundamentos de la Geometr´ıa. Reimpresi´on de la traducci´on de Francisco Cebri´an 1953 de la s´eptima edici´on alemana 1930. Consejo Superior de Investigaciones Cient´ıficas, Madrid, 1996. [13] HOFFMAN, K., KUNZE, R. ´ Algebra Lineal. Prentice-Hall Hispanoamericana, M´exico, 1973. [14] JARA, DIEGO. El teorema de completitud de G¨odel y el lema de interpolaci´on de Craig, via el teorema de Herbrand. Trabajo de Grado (Matem´aticas). Universidad de los Andes, Bogot´a, 1995. [15] LAWVERE, W. An elementary theory of the category of sets. Proc. Nat. Acad. Sci. 52. 1964. 1506–1511. [16] NILES, N. Trigonometr´ıa Plana. Segunda edici´on. Limusa, M´exico, 1982. [17] OOSTRA, A. La topolog´ıa del orden y el conjunto ordenado de Cantor. Trabajo de grado (Matem´aticas). Universidad Nacional de Colombia, Bogot´a, 1991. [18] OOSTRA, A. Conectivos en topos. Tesis de Maestr´ıa (Matem´aticas). Universidad Nacional de Colombia, Bogot´a, 1997. [19] OOSTRA, A. ´ Algebras de Heyting. XIV Coloquio Distrital de Matem´aticas y Estad ´ıstica. Universidad Pedag´ogica Nacional, Bogot´a, 1997. [20] OOSTRA, A. Acerca del art´ıculo On the Logic of Number, de Charles S. Peirce. Bolet´ın de Matem´aticas - Nueva Serie. X. (2003) 13–20. [21] OOSTRA, A. Operaciones impl´ıcitas en variedades ecuacionales. Tesis Doctoral (Matem´aticas). Universidad Nacional de Colombia, Bogot´a, 2006. [22] OOSTRA, A. Operaciones impl´ıcitas en cuasivariedades. Bolet´ın de Matem´aticas - Nueva Serie XIII. 2006, por aparecer. [23] PADOA, A. Essai d’une th´eorie alg´ebrique des nombres entiers, pr´ec´ed´e d’une introduction logique `a une th´eorie d´eductive quelconque. Biblioth`eque du Congr`es International de Philosophie III. 1900. 309–365. [24] PEANO, G. Arithmetices Principia Nova Methodo Exposita. Bocca, Turin, 1889. [25] PEIRCE, C. On the logic of number. American Journal of Mathematics 4, 1881. 85–95. [26] PEIRCE, C. Sobre la l´ogica del n´umero. Traducci´on de Lina Mar´ıa Bedoya. Bolet´ın de Matem´aticas - Nueva Serie X. (2003) 1–12. [Sierra 2001] SIERRA, M. Inferencia Visual para las L´ogicas Normales. Universidad EAFIT, Medell´ın, 2001. [27] TAKAHASHI, A. ´ Algebra Lineal. Universidad Nacional de Colombia, Bogot´a, 1993. [28] TOLKIEN, J. The Hobbit, or, There and Back Again. George Allen & Unwin, London, 1937. Traducci´on al espa˜nol: J. R. R. Tolkien, El Hobbit. Minotauro, Barcelona, 1983. [29] WILLARD, S. General Topology. Addison-Wesley, Reading (Massachusetts), 1970.