Contribuciones del usuario 178.237.142.110
Para 178.237.142.110 discusión registro de bloqueos registros registro del filtro antiabusos
1 dic 2016
- 18:4618:46 1 dic 2016 difs. hist. −1 Consistencia (lógica) →Fórmulas
- 18:4618:46 1 dic 2016 difs. hist. +24 Consistencia (lógica) →Teorema de Henkin: definicos