Some formal stuff I’ve read. Mainly quite nice introductions to various areas like Finite Model Theory:

As well as the map is not the territory, the model is not the world:
B.C Smith (1985) The Limits of Correctness
You not always have to ‘run’ things in computer science. Let’s get descriptive:
Neil Immerman (1995) Descriptive Complexity: A Logician’s Approach to Computation
The book on database theory and intro to sub-FO finite model theory:
Abiteboul, Hull, Vianu (1995) Foundations of Databases
Model Theory applied:
IEEE 830 (1998) Software Requirements Specification
OK, sometimes finiteness is not enough:
Jan v.d. Bussche (2000) Constraint Databases: A tutorial Introduction
Main application areas of Finite Model Theory:
Leonid Libkin (2004) Introductory chapter of Elements of Finite Model Theory
Getting epiphenomena to do real work:
Russ Abbott (2006) Emergence Explained: Abstractions
Finite Model Theory – best of Theorems (not only for db guys):
Leonid Libkin (2009) The Finite Model Theory toolbox of a Database theoretician

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s