Higher-Order Logic and Type Theory Dublin Core Títol Higher-Order Logic and Type Theory Autor Bell Matèria Philosophy Religion and Philosophy Editor Cambridge University Press Data de publicació 2022 Identificador 9781108981804 Font https://doi.org/10.1017/9781108981804 Etiquetes Philosophy, Religion and Philosophy Col·lecció Religion and Philosophy ← ítem anterior Ítem següent →
