"Logic With Trees" er en nyskapende og original introduksjon til moderne formell logikk. Denne boken skiller seg fra de fleste liknende verker ved å inkludere diskusjoner om mer filosofiske spørsmål som sannhet, betingelser og modal logikk. Forfatterne presenterer det formelle materialet på en klar og tilgjengelig måte, og foretrekker uformelle forklaringer og argumenter fremfor en skremmende rigorøs utvikling. Gjennomførte eksempler og øvelser gir leserne muligheten til å overvåke sin egen progresjon. "Logic With Trees" gir studentene en komplett og tydelig fremstilling av sannhetstre-systemet for førstepartslogikk, understreker logikkens betydning og relevans for mange ulike disipliner, og utvikler ferdighetene som er nødvendige for å forstå sofistikerte formelle resonnementsteknikker som kreves for å utforske kompleks metalogikk. Videre gir den leserne evnen til å utfordre påstander om at 'vanlig' resoning er godt representert av formell førstepartslogikk. Temaene som dekkes inkluderer en grundig diskusjon om sannhetsfunksjonell og full førsteordenslogikk, med fokus på sannhetstre- eller semantisk tableau-tilnærming. Boken inneholder også bevis for fullstendighet og godhet.
