TY - DATA AU - Heinz-Dieter Ebbinghaus, Jörg Flum TI - Finite Model Theory SN - 9783662031827 PY - 1995/// PB - Springer Berlin Heidelberg KW - Mathematics and Statistics UR - https://doi.org/10.1007/978-3-662-03182-7 ER -