Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) image
ISBN-10:

0262632950

ISBN-13:

9780262632959

Released: Jan 30, 2004
Publisher: The MIT Press
Format: Paperback, 440 pages
to view more data

Description:

This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.


























We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.

Want a Better Price Offer?

Set a price alert and get notified when the book starts selling at your price.

Want to Report a Pricing Issue?

Let us know about the pricing issue you've noticed so that we can fix it.