Symbolic logic : an introduction - Fitch, Frederic Brenton (The Ronald Press Company, 1952)