Libros (1) Publicacións nas que participase algún/ha investigador/a

1996

  1. Extensions of first order logic

    Cambridge University Press