Set Theory and Foundations of Mathematics
This contains some falsehoods, e.g.<p><pre><code>  (A⇔B⇔C)
</code></pre>
is not the same as<p><pre><code>  ((A⇔B)∧(B⇔C))
</code></pre>
and the former doesn't imply<p><pre><code>  (A⇔C)
</code></pre>
either, but the latter does.