Tarski's world - Barker-Plummer, Dave. (CSLI lecture notes, 2008)