Pide una copia del document: Completeness in Equational Hybrid Propositional Type Theory

todos los ficheros (de este documento) en acceso restringido
el fichero que has solicitado
Cancelar