O livro apresenta métodos e resultados em teoria estrutural de provas, com foco em sistemas formais e transformações de provas aplicadas à lógica matemática. Destina-se a leitores interessados em fundamentos da prova formal e teoria da demonstração.

São discutidos tópicos como sistemas de dedução, propriedades meta-teóricas e técnicas de normalização, ilustrados por exemplos formais e esquemas de prova. O texto inclui desenvolvimentos conceituais úteis para cursos avançados de lógica e computação teórica.

A abordagem combina apresentação teórica e tratamentos formais de problemas clássicos em proof theory, com exercícios e formulações precisas. Recomendado para estudantes de pós-graduação e pesquisadores em lógica matemática e áreas afins.