Advances in Linear Logic Dublin Core Títol Advances in Linear Logic Autor Girard/Lafont/Regnier Matèria Computer Science Mathematics Mathematics and Statistics Editor Cambridge University Press Data de publicació 1995 Identificador 9780511629150 Font https://doi.org/10.1017/CBO9780511629150 Etiquetes Computer Science, Mathematics, Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
