Barwise,Etchemendy - Language Proof And Logic. & Axelson - USB Complete 3e.pdf