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