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