Boken 'Language, Proof, and Logic' er en omfattende lærebok og programvarepakke som dekker førstegangsordensspråk på en metode som passer for et bredt spekter av kurs. Dette gjelder både innføringskurs i logikk for studenter innen filosofi, matematikk og datavitenskap, samt innføringskurs i logikk for nyutdannede Master-studenter. Den følger med en nettbasert vurderingstjeneste som umiddelbart vurderer løsninger på hundrevis av datamaskinøvelser. Den andre utgaven av 'Language, Proof, and Logic' representerer en betydelig utvidelse og revisjon av det originale materialet, og inkluderer applikasjoner for mobile enheter, flere øvelser, en dedikert nettside, samt forbedret programvarekompatibilitet og støtte.
