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