Boken "Introduction to Logic" fungerer som en solid lærebok for innføring i moderne logikk. Den er koherent og godt organisert, og gir leserne en grundig forståelse av presise og fullstendige teorier om logisk slutning samt deres anvendelser innen matematikk og empiri. Den første delen fokuserer på de formelle prinsippene for slutning og definisjon, hvor det blir gjort en detaljert innsats for å knytte den formelle teorien til standard uformelle bevis som er vanlige i matematikken. Den andre delen tar for seg en grundig utforskning av elementær intuitiv mengdeteori, med separate kapitler dedikert til mengder, relasjoner og funksjoner. Den avsluttende delen inkluderer mange eksempler på aksiomatisk formulerte teorier, både i diskusjonen og oppgavene. Temaene spenner fra gruppeteori og algebra for reelle tall, til grunnleggende sannsynlighetsteori, klassisk partikkeldynamikk, og teorien om måling av sanseintensiteter. Denne boken er spesielt godt egnet for bachelorstudier og krever ingen forkunnskaper.
