Demanar una còpia del document: Completeness in Equational Hybrid Propositional Type Theory

tots els fitxers (d'aquest document) en accés restringit
el fitxer que has demanat
Cancel·lar