Language Proof and Logic, 2e editie. Dit boek is zo goed als nieuw en is een uitstekende bron voor studenten die logica en bewijstechnieken willen leren. Het boek is geschikt voor universitair niveau en is gericht op een bèta-wetenschappelijke oriëntatie. Auteur is Dave Barker-Plummer.