Instituto
INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Libros (1) Publicaciones en las que ha participado algún/a investigador/a
1996
-
Extensions of first order logic
Cambridge University Press