Title: Tarski's world 2
First published: 1997