Model theory Algebras de Kleene Algorithms Algoritmos Almost structural completeness Clase de complejidad Complexity classes Complexity classes; Problems, Reductions and completeness; Circuit complexity, Interactive proof systems Computational complexity and cryptography Definability Definibilidad Discriminator varieties Equational classes Expansiones de reticulados Finite model theory Fragmentos de primer orden Fragments of the first order General algebraic systems Grupos Abelianos Lenguaje en computación MS-Algebras Minimal quasivarieties Minimal varieties Morfismos Morphisms Máquina de Turing P vs NP Polinomial Polynomial Relaciones