Dictionary of symbols of mathematical logic. - Feys Robert Ed.; Fitch Frederic B Ed. (Amsterdam North Holland Publishing, 1969)