Beyond First Order Model Theory, Volume I