Systems of Reductions
From Objects to Diagrams for Ranges of Functors
Algebraic Model Theory (Nato Science Series C:, 496)
Mathematics of Ramsey Theory
Computability Theory and Applications The Art of Classical Computability
A Guide to Classical and Modern Model Theory
Boolean Constructions in Universal Algebras
Computational Algebra and Number Theory
Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory
Set Operads in Combinatorics and Computer Science