THE DYNAMICS OF JUDICIAL PROOF: Computation, Logic, and Common Sense.
Physica-Verlag, 2002. 1st edition. Hardcover. 1st edition. A VEry Good copy. 8vo., xvii, 494 pp.Grey, orange and blue paper boards. Front tips bumped. Gift inscription on the front end paper, signed "Peter" and likely Peter Tillers, the editor. Part of the publisher's seris: Studies in Fuzziness and Soft Computing. More