|
Relación 01: |
Sintaxis y semántica de la lógica proposicional |
|
Relación 02: |
Deducción natural en lógica proposicional (I) |
|
Relación 03: |
Deducción natural en lógica proposicional (II) |
|
Relación 04: |
Lógica de primer orden |
|
Relación 05: |
Deducción natural en lógica proposicional (III) |
|
Relación 06: |
Deducción natural en lógica de primer orden (I) |
|
Relación 07: |
Deducción natural en lógica de primer orden (II) |
|
Relación 08: |
Lógica de primer orden con igualdad |
|
Relación 09: |
Programación funcional en Isabelle |
|
Relación 10: |
Razonamiento ecuacional en Isabelle (I) |
|
Relación 11: |
Razonamiento ecuacional en Isabelle (II) |
