symbolic and mathematical logic - Spanish English Dictionary