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