hobbyte es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 1 votos
¿Cómo puedo demostrar $x \vee \neg x$ en el sistema Hilbert?
el 18 de Junio, 2012 1 votos
Etiquetas favoritas
- 1 x lógica