Dictionary of symbols of mathematical logic - Feys, Roberts n. 1889 (North Holland, 1969)