Identidad - 2016
Identidad - 2016
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.
Se presentan los axiomas básicos para tratar la identidad y las reglas de deducción natural.