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