Language, Proof and Logic: Text and CD by Barwise, Jon; Etchemendy, John

Language, Proof and Logic by Jon Barwise; John Etchemendy

Language Proof and Logic 2nd edition by Dave Barker-Plummer Jon Barwise & John E

Probability Theory The Logic Of Science Paperback J813

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Proofs and Refutations: The Logic of Mathematical Discovery (Volume 0) - pap...

Math Proofs Demystified - paperback Gibilisco, Stan

The Art of Proof: Basic Training for Deeper Mathematics (Undergradua - VERY GOOD