CAMBIO DE SALÓN

El curso de TC - I se impartirá en el O-223 (12-13 Hrs)

Continuará LM - I en el O-223 (13-14 Hrs)

Bibliografía

Básica:

1)    MENDELSON, E.; “Introduction to Mathematical Logic”. Ed. Wadswort & Brooks/Cole Advanced Books & Software. 4ª. o 5a. edición.

2)    SOLIS, J. y TORRES, Y.; “Lógica Matemática”. Ed. UAM, unidad Iztapalapa. México, D. F. 1995.

3)    ENDERTON, H.; “Una Introducción Matemática a la Lógica”. Ed. UNAM, 1987. LIGA EN INGLÉS

4)    DELONG, H.; “A profile of mathematical logic”. Ed. Dover, Mineola, New York. 2004.

Opcional:

1)    KLEENE, S.C.; “Mathematical Logic”. Ed. Wiley.  New York. 1967.

2)    MALITZ, J.; Introduction to Mathematical Logic. Ed. Springer Verlag, serie UTM

3)    SHOENFIELD, J. K.; “Mathematical Logic”. Ed. Addison-Wesley, 1967. London.

4)    BELL, J. & MACHOVER, M.; “A Course in Mathematical Logic”. Ed. North Holland. 1977.

5)    BRIDGE, J.; “Beginning Model Theory : The Completeness Theorem and some consequences”. Ed. Clarendon, 1977. Oxford.

6)    BELL, J. L. & SLOMNSON, A.B.; “Models and Ultraproducts: An Introduction”. Ed.  North Holland. Amsterdam. 1974.

7)    CHANG, C. & KEISLER, H.; “Model Theory”. Ed. North Holland. Amsterdam. 1973.

8)    BARWISE, J.; Handbook of Mathematical Logic. Ed. North Holland Publishing Co.

CHANG, C. C. y KEISLER, H. J.; Model Theory. Ed. North Holland Publishing Co. Tercera Edición, 1991.

Categoría de nivel principal o raíz: La Aldea de la Lógica