Strukturell bevisteori er et felt innen logikk som fokuserer på de generelle strukturene og egenskapene til logiske og matematiske bevis. Boken gir en kortfattet introduksjon til de sentrale resultatene og metodene innen strukturell bevisteori, samtidig som den fungerer som en forskningsressurs for spesialister på området. Den er utformet for studenter innen filosofi, matematikk og datavitenskap. Innholdet i boken gir en omfattende oversikt over bevis-teoretiske systemer, inkludert utvidelser av disse systemene fra logikk til matematikk, samt utforsker forbindelsene mellom de to hovedformene av strukturell bevisteori - naturlig deduksjon og sekvenskalkulus. Forfatterne legger særlig vekt på den beregningsmessige innholdet av logiske resultater. En spesiell funksjon ved verket er et datastyrt system for interaktiv utvikling av bevis, som kan lastes ned fra internett og oppdateres jevnlig.
