next up previous
Posterior: Cálculo de predicados

Lógica Matemática
(Un enfoque computacional)

Parte II


Guillermo Morales-Luna
Sección de Computación
CINVESTAV-IPN
gmorales@cs.cinvestav.mx

Diciembre de 2002

Este documento está precedido de una Parte I. Es seguido, también, de una Parte III.


Guillermo Morales-Luna
2004-07-27
Derechos reservados
Tous droits sont reverves
All rights reserved
Wszystkie prawa zastrzezone