Model theory and applications - Bélair, L. (Quaderni di matematica ;, 2002)