2080 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
- 1 resp
Estimación de las propiedades metamatemáticas de las conjeturas
el 23 de Diciembre, 2019 1 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x formal-languages
- 1 x axioms
- 1 x formal-proofs
- 1 x meta-math
- 1 x combinatorics
- 1 x logic
- 1 x first-order-logic