Scott: Who published Flores book "The Logic of Computer Arithmetic"? If you have it handy, what's the ISBN? - Mark Sullivan -