M512 Finite Model Theory Bibliography
- Ebbinghaus and Flum Finite Model Theory Springer Verlag
- Chang and Keisler Model Theory North Holland
- Papadimitrou Computational Complexity, 1994, Addison Wesley
- Edgar M. Palmer Graphical Evolution
1985, Wiley, QA166.17 P35
- Vaanenen A short course on Finite Model Theory
privately circulated