Algebra Universalis
Annals of Pure and Applied Logic
Annals of Combinatorics
Archive for Mathematical Logic
Combinatorica
computational complexity