Halil Özgür es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Ejercicios y soluciones para pruebas de deducción natural en aritmética de Robinson y Peano
el 19 de Mayo, 2021 3 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x logic
- 1 x reference-request
- 1 x axioms
- 1 x peano-axioms
- 1 x natural-deduction