Biografia intelectual que aborda a obra e o impacto de Alfred Tarski no desenvolvimento da lógica e da semântica formal; inclui discussão de temas como verdade, modelos e teoria dos conjuntos.

Texto voltado a leitores de filosofia, lógica e história das ideias, com capítulos que contextualizam contribuições de Tarski no século XX e relacionam suas propostas a debates contemporâneos em lógica matemática.

Edição publicada pela Cambridge University Press, indicada para bibliotecas acadêmicas e cursos de pós-graduação que tratem de lógica, semântica formal e filosofia da linguagem.