Bibliografia

Principal

• Decidability of Logical Theories and Their Combination: J. Rasga and C. Sernadas 2019 Springer (em publicação)

Secundária

• A Decision Method for Elementary Algebra and Geometry: A. Tarski 1951 U California Press
• Model Theory: An Introduction: D. Marker 2002 Springer
• Algorithms in Real Algebraic Geometry: S. Basu, R. Pollack and M.-F. Roy 2003 Springer
• Foundations of Logic and Computation: A. Sernadas and C. Sernadas 2008 College Publications