Institut
INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Bücher (1) Publikationen, an denen Forscher/innen teilgenommen haben
1996
-
Extensions of first order logic
Cambridge University Press