Logic of mathematics a modern course of classical logic - Adamowics (Pure and applied mathematics (John Wiley & Sons:Unnumbered), 1997)