Revistes Catalanes amb Accés Obert (RACO)

Editorial [Special issue: Deduction in MVL]

Gonzalo Escalada-Imaz, Reiner Hähnle

Text complet: HTML