logically challenged es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Gödel su forma de enseñar la no-estándar de los modelos a Takeuti.
el 30 de Julio, 2016 12 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x lógica
- 1 x model-teoría
- 1 x proof-teoría
- 1 x estado-incompleto
- 1 x no-estándar-de-los-modelos-de