symbolic and mathematical logic - Turc Anglais Dictionnaire