logical foundations of modern mathematics - Français Anglais Dictionnaire