symbolic and mathematical logic - French English Dictionary