Institutua
INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Liburuak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
1996
-
Extensions of first order logic
Cambridge University Press