00411nam a22001697a 4500003000500000005001700005008004100022020001800063040000600081082001600087100002500103245003300128250000800161260002900169300001400198650002900212CEME20210628202923.0210126b        xxu||||| |||| 00| 0 eng d  a0-12-088509-3  c.  a621.882 CUP  aCupillari, Antonella  aThe nuts and bolts of proofs  a3RD  aNEW YORKbELSEVIERc2005  aXII,179 P  aNUTS AND BOLTS OF PROOFS