Course of mathematical logic : Volume I: Relation and logical formula - Fraisse, Roland (D. Reidel, 1973)