Salta al contingut principal

Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

Autor: Bell
Matèria: Philosophy; Logic
Editor: Cambridge University Press
Data publicació: 2022
Identificador: 9781108981804
Col·lecció: Philosophy and Religion
Accés