Logical Foundations of Computer Science Dublin Core Títol Logical Foundations of Computer Science Autor Sergei Artemov, Anil Nerode Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2020 Identificador 9783030367558 Font https://doi.org/10.1007/978-3-030-36755-8 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
