Facultat
Informática
Llibres (1) Publicacions en què ha participat algun/a investigador/a
1981
-
Lógica para matemáticos
Thomson-Paraninfo