Bouquins
Recherche
Connexion
Inscription
Recherche
Connexion
Inscription
Maarten de Rijke
Œuvres (3)
Diamonds and defaults
1993
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
2001
Advances in intensional logic
1997