Denis Kuperberg

Un regard sur la logique positive et la monotonie dans la logique du premier ordre et la logique temporelle linéaire.