Computation & Deduction.
Place of publication: S. l.  b Cambridge University Press  c 12/2000
Number of pages: 350