Institute
INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Books (1) Publications in which a researcher has participated
1996
-
Extensions of first order logic
Cambridge University Press