The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Proof Theory The First Step into Impredicativity

Lectures on Proof Verification and Approximation Algorithms,3540642013,9783540642015
18 %

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 57.48

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday,3540731466,9783540731467
51 %

Rewriting, Computation an ...

Hubert Comon-Lu ...

List Price: $ 84.99

Our Price: $ 41.24

Applied Proof Theory Proof Interpretations and their Use in Mathematics,3540775323,9783540775324
9 %

Applied Proof Theory Proo ...

Ulrich Kohlenba ...

List Price: $ 149.99

Our Price: $ 136.19

The Ricci Flow in Riemannian Geometry A Complete Proof of the Differentiable 1/4-Pinching Sphere Theorem,3642162851,9783642162855
6 %

The Ricci Flow in Riemann ...

Ben Andrews, Ch ...

List Price: $ 74.99

Our Price: $ 70.27

Mathematics and Politics Strategy, Voting, Power, and Proof 1st Edition,0387943919,9780387943916
65 %

Mathematics and Politics ...

Alan D. Taylor

List Price: $ 99.00

Our Price: $ 34.54

Handbook of Logic and Proof Techniques for Computer Science,081764220X,9780817642204
72 %

Handbook of Logic and Pro ...

Steven G. Krant ...

List Price: $ 109.99

Our Price: $ 30.28

Formal Semantics and Proof Techniques for Optimizing VHDL Models,0792383753,9780792383758
81 %

Formal Semantics and Proo ...

Kothanda Umamag ...

List Price: $ 159.99

Our Price: $ 30.49

Proof in VDM Case Studies,3540761861,9783540761860
68 %

Proof in VDM Case Studies

Juan C. Bicarre ...

List Price: $ 139.00

Our Price: $ 44.97

Proof Theory for Fuzzy Logics,1402094086,9781402094088
19 %

Proof Theory for Fuzzy Lo ...

George Metcalfe ...

List Price: $ 149.99

Our Price: $ 121.37