Boken "Practical Foundations of Mathematics" samler metodene for konstruksjon av objektene innenfor 1900-tallets matematikk. Den fokuserer først og fremst på et rammeverk som er essensielt likestilt med intuisjonistisk Zermelo-Fraenkel logikk, men ser samtidig mot mer subtile grunnlag innen kategorisk typeteori og maskinrepresentasjon av matematikk. Hver idé blir illustrert med et bredt spekter av eksempler, og blir kritisk fulgt på sin naturlige vei, noe som overskrider disiplinære grenser mellom universell algebra, typeteori, kategoriteori, mengdeteori, skjefteori, topologi og programmering. Studenter og lærere innen databehandling, matematikk og filosofi vil finne denne boken både lettfattelig og av varig verdi som referanseverk.
