Dictionary of simbols of mathematical logic - Feys, Robert (1969)