Computation And Logic In The Real World by