Logic of mathematics a modern course of classical logic - Adamowicz Zofia; Zbierski Pawel (New York John Wiley, 1997)
Keywords: Mathematical logic; Symbolic logic