Institut
INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Livres (1) Publications auxquelles un chercheur a participé
1996
-
Extensions of first order logic
Cambridge University Press