Apuntes

• Verificación de Programas

• Apuntes de Lógica Matemática. Celani, Sergio. Notas de clase, Facultad Cs. Exactas,
  UNCPBA. 2003.

Inicio