Proof analysis of global consequence
- Tranchini, L.
- Cobreros, P.
ISSN: 0024-5836
Any de publicació: 2017
Volum: 60
Número: 239
Pàgines: 355-373
Tipus: Aportació congrés
Revista:
Logique et Analyse