Course of Mathematical Logic - Fraisse, Roland (Synthese library ;, 1974)