001: 9500
003: Starlibrary PMS 4.5
005: 20180503
066: ^aLe.E
082: ^a535.1
100: ^aLeonid Libkin
240: ^aElements Of Finite Model Theory
245: ^aElements Of Finite Model Theory
260: ^agerman ^b springer