Logic of mathematics : a modern course of classical logic. - Adamowicz, Zofia (Pure and applied mathematics, 1997)