Adamowicz, Zofia

Logic of mathematics : a modern course of classical logic - New York, N.Y. : Wiley-Interscience, 1997 - 260


LOGIC, SYMBOLIC AND MATHEMATICAL

QA9 / A325L