logical foundations of modern mathematics - Turc Anglais Dictionnaire