Title: A must have...
Review: ... A must have, as a very good introduction to predicate logic & first-order logic.Also, Hodges does a excellent job on Tableaux...As a complement : "Elementary logic" by Quine.
Is this product review negative?