Contribuciones del usuario 190.138.120.52
De Cuba-Wiki
Para 190.138.120.52 discusión registro de bloqueos registros
10 mar 2017
- 21:0021:00 10 mar 2017 difs. hist. +333 N Final del 10/03/17 (Lógica y Computabilidad) Página creada con «=Ejercicio 1= Enunciar y demostrar el lema de Lindenbaum para lógica proposicional. =Ejercicio 2= Demostrar <math>\Gamma</math> consistente => <math>\Gamma</math> satisfa...» última
- 20:5420:54 10 mar 2017 difs. hist. +113 Lógica y Computabilidad →Departamento de Computación