Course of mathematical logic : Volume I: Relation and logical formula - Fraisse, Roland (Synthese library, 1973)