miércoles, marzo 13, 2013

El lenguaje formal II


En esta segunda entrega doy la definición de enunciado en la lógica matemática, para luego aplicarlo en  la axiomatización de la aritmética.



No hay comentarios.: