Decidability of Logical Theories and Their Combination Dublin Core Títol Decidability of Logical Theories and Their Combination Autor João Rasga, Cristina Sernadas Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2020 Identificador 9783030565541 Font https://doi.org/10.1007/978-3-030-56554-1 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →