Language, Proof and Logic door Jon Barwise, John Etchemendy & Dave Barker-plummer