Mathematics and mind - George, Alexander (Logic and computation in philosophy, 1994)