math and logic

In the late 1980's I asked my logic professor if there was some kind of logical and/or mathematical process which unified numerically based mathematics with true-false based symbolic logic.He told me that someone had written a lengthy book which apparently proved that it was totally impossible to do such a thing.But I keep thinking that there must be a way.So my question is whether any progress had been made in this area in the last twenty plus years.