Logic of mathematics : - Adamowicz, Zofia (Pure and applied mathematics (John Wiley & Sons: Unnumbered), 1997)