Logic of mathematics a modern course of classical logic - Adamowicz, Zofia (John Wiley & Sons, 1997)