Outline of theory and problems of logic - Nolt, John; Rohatyn, Dennis A.; Varzi, Achille C. (McGrawï Hill, 1998)