Peter 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
- 8 votos
¿Qué es un constructiva prueba de $\lnot\lnot(P\vee\lnot P)$?
el 6 de Mayo, 2014 8 votos - 5 votos
Trucos para la Construcción de Hilbert-Estilo de las Pruebas
el 6 de Mayo, 2014 5 votos
Etiquetas favoritas
- 2 x lógica
- 1 x proof-teoría
- 1 x nonclassical-lógica
- 1 x lógica-proposicional
- 1 x matemáticas-constructivas