Dictionary of symbols of mathematical logic - Feys, Robert 1889- (Studies in logic and the foundations of mathematics, 1969)