Identidad - 2016
Identidad - 2016
Requisitos de finalización
Se presentan los axiomas básicos para tratar la identidad y las reglas de deducción natural.
Haga clic en 12_PredIdentidad.pdf para ver el archivo.