Francesco Turco es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
¿La reflexividad de la igualdad es un axioma o un teorema?
el 10 de Junio, 2021 4 votos - 5 resp
¿Es la reflexividad de la igualdad un axioma o un teorema?
el 22 de Marzo, 2019 4 votos - 2 resp
¿Por qué son universales introducción y existencial eliminación válidas las reglas de inferencia?
el 12 de Mayo, 2018 4 votos - 5 resp
¿Existe algún asistente de pruebas basado en la lógica de primer orden?
el 11 de Marzo, 2017 10 votos - 5 resp
¿Sabe cualquier buen recurso introductorio al cálculo sequent?
el 22 de Diciembre, 2016 14 votos - 4 resp
¿Cómo definir tuples?
el 22 de Diciembre, 2016 14 votos
Últimas Respuestas
- 1 votos
¿La reflexividad de la igualdad es un axioma o un teorema?
el 5 de Febrero, 2010 1 votos - 1 votos
¿Es la reflexividad de la igualdad un axioma o un teorema?
el 5 de Febrero, 2010 1 votos
Etiquetas favoritas
- 6 x matemáticas
- 4 x lo.lógica
- 2 x conjunto-teórico
- 1 x proof-teoría
- 1 x solicitud-de-referencia
- 1 x prueba-asistentes
- 1 x lo.logic