Elements of Finite Model Theory [Texts in Theoretical Computer Science. An EATCS

Texts in Computer Science Ser.: Computer Vision : Algorithms and Applications by

Texts in Computer Science Ser.: Data Science Design Manual by Steven Skiena...

Lattices, Semigroups, and Universal Algebra -

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Theorem Proving with the Real Numbers (Distinguished Dissertations) by

Cambridge Tracts in Theoretical Computer Science Ser.: Information Flow : The...

Texts in Theoretical Computer Science. an Eatcs Ser.: Practical Theory of...