Course of mathematical logic - Fraisse,Roland (Dordrecht D.Reidel Pub.Co, 1973)
v.1:Relation and logical formula
v.2 : Modal theory