Càlcul de proposicions
Càlcul de predicats
Teoria de conjunts
Àlgebra de Boole

La bibliografia a la biblioteca

- ARANDA, J.; FERNANDEZ, J.L.; MORILLA, F.: "Lógica Matemática" Sanz y Torres, (1993).
- ARENAS, L.: "Lógica formal para informáticos", Diaz de Santos (1996).
- CUENA, J.: "Lógica Informática" Alianza Editorial (1985.)
- DE LA VILLA, A.: "Problemas resueltos de álgebra", Clagsa (1994).
- DEAÑO, A.: "Introducción a la lógica formal", Alianza Editorial (1983).
- FERNANDEZ, G.; SAEZ, F.: "Fundamentos de Informàtica", Alianza Editorial (1987).
- GARRIDO, M.: "Lógica simbólica", Ed. Tecnos (1991).
- GUTIERREZ, A.; GARCÍA, F.: "Álgebra lineal", Tomo I, Pirámide (1988).
- LIPSCHUTZ, S.: "Teoría de conjuntos y temas afines". McGraw-Hill.
- PANIAGUA, E; SÁNCHEZ, J.L.; MARTIN, F.: "Lógica computacional", Thomson (2003)
- SAINZ, M.A.; SERAROLS, J.Ll.; PEREZ, A.: "Álgebra" Palahí, Arts Gràfiques. (1994).
- SESA, Enric: "Lògica", Universitat Oberta de Catalunya (1998)
- SOLOW, D.: "Cómo entender y hacer demostraciones en matemáticas", Limusa, (1987).
- SUPPES, P.; HILL, S.: "Introducción a la lógoca matemática.", Reverté, (1986).

Classes de teoria i problemes: 3 hores setmanals