Sequents and Trees Dublin Core Títol Sequents and Trees Autor Andrzej Indrzejczak Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2021 Identificador 9783030571450 Font https://doi.org/10.1007/978-3-030-57145-0 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
