Cálculo de Predicados
Cálculo de Predicados
Requisitos de finalización
Teórico de Cáculo de Predicados de alto orden en Coq
Haga clic en CFPTT_T2.pdf para ver el archivo.