The Decision Method for Real Algebra: Is It Practical?

The Decision Method for Real Algebra: Is It Practical?

$23.00 $23.00 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.