Proof analysis of global consequence
- Tranchini, L.
- Cobreros, P.
ISSN: 0024-5836
Año de publicación: 2017
Volumen: 60
Número: 239
Páginas: 355-373
Tipo: Aportación congreso
Revista:
Logique et Analyse