Abajo se muestran hasta 13 resultados entre el n.º 1 y el n.º 13.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

1. Deducción natural en lógica de primer orden con Isabelle/Isar‏‎ (2 enlaces)
2. Deducción natural en lógica proposicional con Isabelle/Isar‏‎ (2 enlaces)
3. Rel 1‏‎ (2 enlaces)
4. Rel 10‏‎ (2 enlaces)
5. Rel 11‏‎ (2 enlaces)
6. Rel 2‏‎ (2 enlaces)
7. Rel 3‏‎ (2 enlaces)
8. Rel 4‏‎ (2 enlaces)
9. Rel 5‏‎ (2 enlaces)
10. Rel 6‏‎ (2 enlaces)
11. Rel 7‏‎ (2 enlaces)
12. Rel 8‏‎ (2 enlaces)
13. Rel 9‏‎ (2 enlaces)

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).