language, proof and logic [with software]

dave barker-plummer,jon barwise,john etchemendy ·