Boken 'Proof Theory and Algebra in Logic' gir en kortfattet innføring i både bevisteori og algebraiske metoder, som er kjernen i den syntaktiske og semantiske studien av logikk. Det har de siste årene blitt stadig mer anerkjent hvor viktig det er å kombinere disse to tilnærmingene. Boken fremhever kontrastene mellom de dype, konkrete resultatene fra bevisteori, og de generelle, abstrakte resultatene fra algebra. Den dekker et bredt spekter av emner inkludert modal logikk, flervarde logikk, superintuitionistisk og substrukturert logikk, sammen med deres algebraiske semantikk. I tillegg gir den en innføring til ikke-klassisk logikk, passende for både bachelor- og masterstudier. Boken er delt inn i to deler: Bevisteori i del I og Algebra i Logikk i del II. Del I presenterer sekvenssystemer og diskuterer kutteleminering og dens anvendelser i detalj, samt tilbyr en forenklet bevisfor utførelse av kuttelemineringen, som gjør emnet mer tilgjengelig. Det siste kapitlet i del I er viet til avklaring av klassene av logikker som blir diskutert i den andre delen.
