Ir al contenido
LOGIC PROGRAMMING . OPERATIONAL SEMANTICS AND PROOF THEORY (ANDREWS, JAMES H.)
PULSAR EN LA IMAGEN PARA DESCARGAR EL LIBRO
TEMÁTICA
Estudios generales