Proof analysis of global consequence
- Tranchini, L.
- Cobreros, P.
ISSN: 0024-5836
Datum der Publikation: 2017
Ausgabe: 60
Nummer: 239
Seiten: 355-373
Art: Konferenz-Beitrag
Zeitschrift:
Logique et Analyse