Livres (1) Publications auxquelles un chercheur a participé

1996

  1. Extensions of first order logic

    Cambridge University Press