The Decision Method for Real Algebra: Is It Practical?

The Decision Method for Real Algebra: Is It Practical?

Regular price $23.00 $18.40 Sale

Presentation of Tarski's decision procedure in a modified form. The procedure is reduced to three basic methods. Each method processes a basic formula of Real Algebra.