next up previous contents
Posterior: Presentación del curso

Lógica Matemática
(Un enfoque computacional)

Parte I


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

Diciembre de 2002

Estas notas están seguidas de una Parte II.



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