Finite and algorithmic model theory by Esparza, Javier, Michaux, Christian, Steinhorn, Charles fromLondon Mathematical Society lecture note series 0 Type: Book
Universal algebra and applications in theoretical computer science by Denecke, Klaus, Wismath, Shelly L. 0 Type: Book
Concrete mathematics: a foundation for computer science by Knuth, Donald Ervin, Graham, Ronald L., Patashnik, Oren 0 Type: Book
