Elements of formal logic - Kretzmann, Norman (New York Bobbs-Merrill, 1965)
Keywords: Logic, Symbolic and mathematics