Adamowicz, Zofia Logic of mathematics : a modern course of classical logic - New York, N.Y. : Wiley-Interscience, 1997 - 260 Subjects--Topical Terms: LOGIC, SYMBOLIC AND MATHEMATICAL LC Class. No.: QA9 / A325L