Finite model theory and computational complexity /
Xavier Caicedo.
- Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995.
- 74 p. ; 28 cm.
- Apuntes de matemática ; 32 .
Incluye bibliografía.
Theory of computation. Model theory. Complexity of computation.
Teoría de la computación. Teoría de modelos. Complejidad de la computación.