Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL - DAO (Demostración asistida por ordenador)

Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL

De DAO (Demostración asistida por ordenador)

Página de redirección

Redirige a:

Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL

Obtenido de «https://www.glc.us.es/~jalonso/DAO/index.php?title=Tema_4:_Deducción_natural_en_lógica_de_primer_orden_en_Isabelle/HOL&oldid=51»