Dictionary of symbols of mathematical logic - Feys, Robert; Fitch, Frederic B. (Studies in logic and the foundations of mathematics., 1969)